val iter : t ‑> soft:((t, value) Fieldslib.Field.t ‑> t ‑> value ‑> unit) ‑> hard:((t, value) Fieldslib.Field.t ‑> t ‑> value ‑> unit) ‑> unit
val fold : t ‑> init:'acc__0 ‑> soft:('acc__0 ‑> (t, value) Fieldslib.Field.t ‑> t ‑> value ‑> 'acc__1) ‑> hard:('acc__1 ‑> (t, value) Fieldslib.Field.t ‑> t ‑> value ‑> 'acc__2) ‑> 'acc__2
val for_all : t ‑> soft:((t, value) Fieldslib.Field.t ‑> t ‑> value ‑> bool) ‑> hard:((t, value) Fieldslib.Field.t ‑> t ‑> value ‑> bool) ‑> bool
val exists : t ‑> soft:((t, value) Fieldslib.Field.t ‑> t ‑> value ‑> bool) ‑> hard:((t, value) Fieldslib.Field.t ‑> t ‑> value ‑> bool) ‑> bool
val to_list : t ‑> soft:((t, value) Fieldslib.Field.t ‑> t ‑> value ‑> 'elem__) ‑> hard:((t, value) Fieldslib.Field.t ‑> t ‑> value ‑> 'elem__) ‑> 'elem__ list
val map : t ‑> soft:((t, value) Fieldslib.Field.t ‑> t ‑> value ‑> value) ‑> hard:((t, value) Fieldslib.Field.t ‑> t ‑> value ‑> value) ‑> t
val set_all_mutable_fields : t ‑> unit