type 'a t
val create : default:'a ‑> name:Core_kernel__.Import.string ‑> ('a ‑> Sexp.t) ‑> 'a t
val id : 'a t ‑> 'a Type_equal.Id.t