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