val names : Core_kernel__.Import.string Core_kernel__.Import.list
val flags : (t, Core_kernel__Command_shape.Flag_info.t Core_kernel__.Import.list) Fieldslib.Field.t
val anons : (t, Core_kernel__Command_shape.Anons.t) Fieldslib.Field.t
val readme : (t, Core_kernel__.Import.string Core_kernel__.Import.option) Fieldslib.Field.t
val summary : (t, Core_kernel__.Import.string) Fieldslib.Field.t
val fold : init:'acc__0 -> summary:('acc__0 -> (t, Core_kernel__.Import.string) Fieldslib.Field.t -> 'acc__1) -> readme:('acc__1 -> (t, Core_kernel__.Import.string Core_kernel__.Import.option) Fieldslib.Field.t -> 'acc__2) -> anons:('acc__2 -> (t, Core_kernel__Command_shape.Anons.t) Fieldslib.Field.t -> 'acc__3) -> flags:('acc__3 -> (t, Core_kernel__Command_shape.Flag_info.t Core_kernel__.Import.list) Fieldslib.Field.t -> 'acc__4) -> 'acc__4
val make_creator : summary:((t, Core_kernel__.Import.string) Fieldslib.Field.t -> 'acc__0 -> ('input__ -> Core_kernel__.Import.string) * 'acc__1) -> readme:((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) -> anons:((t, Core_kernel__Command_shape.Anons.t) Fieldslib.Field.t -> 'acc__2 -> ('input__ -> Core_kernel__Command_shape.Anons.t) * 'acc__3) -> flags:((t, Core_kernel__Command_shape.Flag_info.t Core_kernel__.Import.list) Fieldslib.Field.t -> 'acc__3 -> ('input__ -> Core_kernel__Command_shape.Flag_info.t Core_kernel__.Import.list) * 'acc__4) -> 'acc__0 -> ('input__ -> t) * 'acc__4
val create : summary:Core_kernel__.Import.string -> readme:Core_kernel__.Import.string Core_kernel__.Import.option -> anons:Core_kernel__Command_shape.Anons.t -> flags:Core_kernel__Command_shape.Flag_info.t Core_kernel__.Import.list -> t
val map : summary:((t, Core_kernel__.Import.string) Fieldslib.Field.t -> Core_kernel__.Import.string) -> readme:((t, Core_kernel__.Import.string Core_kernel__.Import.option) Fieldslib.Field.t -> Core_kernel__.Import.string Core_kernel__.Import.option) -> anons:((t, Core_kernel__Command_shape.Anons.t) Fieldslib.Field.t -> Core_kernel__Command_shape.Anons.t) -> flags:((t, Core_kernel__Command_shape.Flag_info.t Core_kernel__.Import.list) Fieldslib.Field.t -> Core_kernel__Command_shape.Flag_info.t Core_kernel__.Import.list) -> t
val iter : summary:((t, Core_kernel__.Import.string) Fieldslib.Field.t -> Core_kernel__.Import.unit) -> readme:((t, Core_kernel__.Import.string Core_kernel__.Import.option) Fieldslib.Field.t -> Core_kernel__.Import.unit) -> anons:((t, Core_kernel__Command_shape.Anons.t) Fieldslib.Field.t -> Core_kernel__.Import.unit) -> flags:((t, Core_kernel__Command_shape.Flag_info.t Core_kernel__.Import.list) Fieldslib.Field.t -> Core_kernel__.Import.unit) -> Core_kernel__.Import.unit
val for_all : summary:((t, Core_kernel__.Import.string) Fieldslib.Field.t -> Core_kernel__.Import.bool) -> readme:((t, Core_kernel__.Import.string Core_kernel__.Import.option) Fieldslib.Field.t -> Core_kernel__.Import.bool) -> anons:((t, Core_kernel__Command_shape.Anons.t) Fieldslib.Field.t -> Core_kernel__.Import.bool) -> flags:((t, Core_kernel__Command_shape.Flag_info.t Core_kernel__.Import.list) Fieldslib.Field.t -> Core_kernel__.Import.bool) -> Core_kernel__.Import.bool
val exists : summary:((t, Core_kernel__.Import.string) Fieldslib.Field.t -> Core_kernel__.Import.bool) -> readme:((t, Core_kernel__.Import.string Core_kernel__.Import.option) Fieldslib.Field.t -> Core_kernel__.Import.bool) -> anons:((t, Core_kernel__Command_shape.Anons.t) Fieldslib.Field.t -> Core_kernel__.Import.bool) -> flags:((t, Core_kernel__Command_shape.Flag_info.t Core_kernel__.Import.list) Fieldslib.Field.t -> Core_kernel__.Import.bool) -> Core_kernel__.Import.bool
val to_list : summary:((t, Core_kernel__.Import.string) Fieldslib.Field.t -> 'elem__) -> readme:((t, Core_kernel__.Import.string Core_kernel__.Import.option) Fieldslib.Field.t -> 'elem__) -> anons:((t, Core_kernel__Command_shape.Anons.t) Fieldslib.Field.t -> 'elem__) -> flags:((t, Core_kernel__Command_shape.Flag_info.t Core_kernel__.Import.list) Fieldslib.Field.t -> 'elem__) -> 'elem__ Core_kernel__.Import.list
val map_poly : ([< `Read | `Set_and_create ], t, 'x0) Fieldslib.Field.user -> 'x0 Core_kernel__.Import.list