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