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