val hard : (t, value) Fieldslib.Field.t
val soft : (t, value) Fieldslib.Field.t
val fold : init:'acc__0 ‑> soft:('acc__0 ‑> (t, value) Fieldslib.Field.t ‑> 'acc__1) ‑> hard:('acc__1 ‑> (t, value) Fieldslib.Field.t ‑> 'acc__2) ‑> 'acc__2
val make_creator : soft:((t, value) Fieldslib.Field.t ‑> 'acc__0 ‑> ('input__ ‑> value) * 'acc__1) ‑> hard:((t, value) Fieldslib.Field.t ‑> 'acc__1 ‑> ('input__ ‑> value) * 'acc__2) ‑> 'acc__0 ‑> ('input__ ‑> t) * 'acc__2
val map : soft:((t, value) Fieldslib.Field.t ‑> value) ‑> hard:((t, value) Fieldslib.Field.t ‑> value) ‑> t
val iter : soft:((t, value) Fieldslib.Field.t ‑> unit) ‑> hard:((t, value) Fieldslib.Field.t ‑> unit) ‑> unit
val for_all : soft:((t, value) Fieldslib.Field.t ‑> bool) ‑> hard:((t, value) Fieldslib.Field.t ‑> bool) ‑> bool
val exists : soft:((t, value) Fieldslib.Field.t ‑> bool) ‑> hard:((t, value) Fieldslib.Field.t ‑> bool) ‑> bool
val to_list : soft:((t, value) Fieldslib.Field.t ‑> 'elem__) ‑> hard:((t, value) Fieldslib.Field.t ‑> 'elem__) ‑> 'elem__ list
val map_poly : ([< `Read | `Set_and_create ], t, 'x0) Fieldslib.Field.user ‑> 'x0 list
module Direct : sig ... end