val names : Core_kernel__.Import.string Core_kernel__.Import.list
val subcommands : ('a t, (Core_kernel__.Import.string, 'a) Core_kernel.List.Assoc.t Core_kernel.Lazy.t) Fieldslib.Field.t
val readme : ('a t, Core_kernel__.Import.string Core_kernel__.Import.option) Fieldslib.Field.t
val summary : ('a t, Core_kernel__.Import.string) Fieldslib.Field.t
val fold : init:'acc__0 -> summary:('acc__0 -> ('a t, Core_kernel__.Import.string) Fieldslib.Field.t -> 'acc__1) -> readme:('acc__1 -> ('a t, Core_kernel__.Import.string Core_kernel__.Import.option) Fieldslib.Field.t -> 'acc__2) -> subcommands:('acc__2 -> ('a t, (Core_kernel__.Import.string, 'a) Core_kernel.List.Assoc.t Core_kernel.Lazy.t) Fieldslib.Field.t -> 'acc__3) -> 'acc__3
val make_creator : summary:(('a t, Core_kernel__.Import.string) Fieldslib.Field.t -> 'acc__0 -> ('input__ -> Core_kernel__.Import.string) * 'acc__1) -> readme:(('a t, Core_kernel__.Import.string Core_kernel__.Import.option) Fieldslib.Field.t -> 'acc__1 -> ('input__ -> Core_kernel__.Import.string Core_kernel__.Import.option) * 'acc__2) -> subcommands:(('a t, (Core_kernel__.Import.string, 'a) Core_kernel.List.Assoc.t Core_kernel.Lazy.t) Fieldslib.Field.t -> 'acc__2 -> ('input__ -> (Core_kernel__.Import.string, 'a) Core_kernel.List.Assoc.t Core_kernel.Lazy.t) * 'acc__3) -> 'acc__0 -> ('input__ -> 'a t) * 'acc__3
val create : summary:Core_kernel__.Import.string -> readme:Core_kernel__.Import.string Core_kernel__.Import.option -> subcommands:(Core_kernel__.Import.string, 'a) Core_kernel.List.Assoc.t Core_kernel.Lazy.t -> 'a t
val map : summary:(('a t, Core_kernel__.Import.string) Fieldslib.Field.t -> Core_kernel__.Import.string) -> readme:(('a t, Core_kernel__.Import.string Core_kernel__.Import.option) Fieldslib.Field.t -> Core_kernel__.Import.string Core_kernel__.Import.option) -> subcommands:(('a t, (Core_kernel__.Import.string, 'a) Core_kernel.List.Assoc.t Core_kernel.Lazy.t) Fieldslib.Field.t -> (Core_kernel__.Import.string, 'a) Core_kernel.List.Assoc.t Core_kernel.Lazy.t) -> 'a t
val iter : summary:(('a t, Core_kernel__.Import.string) Fieldslib.Field.t -> Core_kernel__.Import.unit) -> readme:(('a t, Core_kernel__.Import.string Core_kernel__.Import.option) Fieldslib.Field.t -> Core_kernel__.Import.unit) -> subcommands:(('a t, (Core_kernel__.Import.string, 'a) Core_kernel.List.Assoc.t Core_kernel.Lazy.t) Fieldslib.Field.t -> Core_kernel__.Import.unit) -> Core_kernel__.Import.unit
val for_all : summary:(('a t, Core_kernel__.Import.string) Fieldslib.Field.t -> Core_kernel__.Import.bool) -> readme:(('a t, Core_kernel__.Import.string Core_kernel__.Import.option) Fieldslib.Field.t -> Core_kernel__.Import.bool) -> subcommands:(('a t, (Core_kernel__.Import.string, 'a) Core_kernel.List.Assoc.t Core_kernel.Lazy.t) Fieldslib.Field.t -> Core_kernel__.Import.bool) -> Core_kernel__.Import.bool
val exists : summary:(('a t, Core_kernel__.Import.string) Fieldslib.Field.t -> Core_kernel__.Import.bool) -> readme:(('a t, Core_kernel__.Import.string Core_kernel__.Import.option) Fieldslib.Field.t -> Core_kernel__.Import.bool) -> subcommands:(('a t, (Core_kernel__.Import.string, 'a) Core_kernel.List.Assoc.t Core_kernel.Lazy.t) Fieldslib.Field.t -> Core_kernel__.Import.bool) -> Core_kernel__.Import.bool
val to_list : summary:(('a t, Core_kernel__.Import.string) Fieldslib.Field.t -> 'elem__) -> readme:(('a t, Core_kernel__.Import.string Core_kernel__.Import.option) Fieldslib.Field.t -> 'elem__) -> subcommands:(('a t, (Core_kernel__.Import.string, 'a) Core_kernel.List.Assoc.t Core_kernel.Lazy.t) Fieldslib.Field.t -> 'elem__) -> 'elem__ Core_kernel__.Import.list
val map_poly : ([< `Read | `Set_and_create ], 'a t, 'x0) Fieldslib.Field.user -> 'x0 Core_kernel__.Import.list