With_fold.Key
type ('a, 'b) t
val create : init:'b -> f:('b -> 'a -> 'b) -> name:Base.string -> ('b -> Base.Sexp.t) -> ('a, 'b) t
val id : ('a, 'b) t -> 'b Base.Type_equal.Id.t