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 ‑> Core_kernel.Sexp.t) ‑> ('a'bt
val id : ('a'bt ‑> 'b Core_kernel.Type_equal.Id.t