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