core.univ_map
With_fold.Key
core
core.base_for_tests
core.command
core.filename_base
core.heap_block
core.top
core.validate
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