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