val iter : 'a t -> summary:(('a t, Base.String.t) Fieldslib.Field.t -> 'a t -> Base.String.t -> Base.Unit.t) -> readme:(('a t, Base.String.t Base.Option.t) Fieldslib.Field.t -> 'a t -> Base.String.t Base.Option.t -> Base.Unit.t) -> subcommands:(('a t, (Base.String.t, 'a) Core_kernel__.List.Assoc.t Core_kernel.Lazy.t) Fieldslib.Field.t -> 'a t -> (Base.String.t, 'a) Core_kernel__.List.Assoc.t Core_kernel.Lazy.t -> Base.Unit.t) -> Base.Unit.t
val fold : 'a t -> init:'acc__0 -> summary:('acc__0 -> ('a t, Base.String.t) Fieldslib.Field.t -> 'a t -> Base.String.t -> 'acc__1) -> readme:('acc__1 -> ('a t, Base.String.t Base.Option.t) Fieldslib.Field.t -> 'a t -> Base.String.t Base.Option.t -> 'acc__2) -> subcommands:('acc__2 -> ('a t, (Base.String.t, 'a) Core_kernel__.List.Assoc.t Core_kernel.Lazy.t) Fieldslib.Field.t -> 'a t -> (Base.String.t, 'a) Core_kernel__.List.Assoc.t Core_kernel.Lazy.t -> 'acc__3) -> 'acc__3
val for_all : 'a t -> summary:(('a t, Base.String.t) Fieldslib.Field.t -> 'a t -> Base.String.t -> Base.Bool.t) -> readme:(('a t, Base.String.t Base.Option.t) Fieldslib.Field.t -> 'a t -> Base.String.t Base.Option.t -> Base.Bool.t) -> subcommands:(('a t, (Base.String.t, 'a) Core_kernel__.List.Assoc.t Core_kernel.Lazy.t) Fieldslib.Field.t -> 'a t -> (Base.String.t, 'a) Core_kernel__.List.Assoc.t Core_kernel.Lazy.t -> Base.Bool.t) -> Base.Bool.t
val exists : 'a t -> summary:(('a t, Base.String.t) Fieldslib.Field.t -> 'a t -> Base.String.t -> Base.Bool.t) -> readme:(('a t, Base.String.t Base.Option.t) Fieldslib.Field.t -> 'a t -> Base.String.t Base.Option.t -> Base.Bool.t) -> subcommands:(('a t, (Base.String.t, 'a) Core_kernel__.List.Assoc.t Core_kernel.Lazy.t) Fieldslib.Field.t -> 'a t -> (Base.String.t, 'a) Core_kernel__.List.Assoc.t Core_kernel.Lazy.t -> Base.Bool.t) -> Base.Bool.t
val to_list : 'a t -> summary:(('a t, Base.String.t) Fieldslib.Field.t -> 'a t -> Base.String.t -> 'elem__) -> readme:(('a t, Base.String.t Base.Option.t) Fieldslib.Field.t -> 'a t -> Base.String.t Base.Option.t -> 'elem__) -> subcommands:(('a t, (Base.String.t, 'a) Core_kernel__.List.Assoc.t Core_kernel.Lazy.t) Fieldslib.Field.t -> 'a t -> (Base.String.t, 'a) Core_kernel__.List.Assoc.t Core_kernel.Lazy.t -> 'elem__) -> 'elem__ Base.List.t
val map : 'a t -> summary:(('a t, Base.String.t) Fieldslib.Field.t -> 'a t -> Base.String.t -> Base.String.t) -> readme:(('a t, Base.String.t Base.Option.t) Fieldslib.Field.t -> 'a t -> Base.String.t Base.Option.t -> Base.String.t Base.Option.t) -> subcommands:(('a t, (Base.String.t, 'a) Core_kernel__.List.Assoc.t Core_kernel.Lazy.t) Fieldslib.Field.t -> 'a t -> (Base.String.t, 'a) Core_kernel__.List.Assoc.t Core_kernel.Lazy.t -> (Base.String.t, 'a) Core_kernel__.List.Assoc.t Core_kernel.Lazy.t) -> 'a t
val set_all_mutable_fields : 'a t -> Base.Unit.t