Module Core_kernel.Univ_map.With_fold.Key

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