sig
  module Key :
    sig
      type 'a t
      val create :
        default:'a ->
        string ->
        ('a -> Std_internal.Sexp.t) -> 'a Univ_map.With_default.Key.t
    end
  val set : Univ_map.t -> 'a Univ_map.With_default.Key.t -> 'a -> Univ_map.t
  val find : Univ_map.t -> 'a Univ_map.With_default.Key.t -> 'a
  val change :
    Univ_map.t -> 'a Univ_map.With_default.Key.t -> ('a -> 'a) -> Univ_map.t
end