`val iter : 'a t ‑> top:(('a t, 'a) Fieldslib.Field.t ‑> 'a t ‑> 'a ‑> unit) ‑> left:(('a t, 'a) Fieldslib.Field.t ‑> 'a t ‑> 'a ‑> unit) ‑> bottom:(('a t, 'a) Fieldslib.Field.t ‑> 'a t ‑> 'a ‑> unit) ‑> right:(('a t, 'a) Fieldslib.Field.t ‑> 'a t ‑> 'a ‑> unit) ‑> unit`
`val fold : 'a t ‑> init:'acc__0 ‑> top:('acc__0 ‑> ('a t, 'a) Fieldslib.Field.t ‑> 'a t ‑> 'a ‑> 'acc__1) ‑> left:('acc__1 ‑> ('a t, 'a) Fieldslib.Field.t ‑> 'a t ‑> 'a ‑> 'acc__2) ‑> bottom:('acc__2 ‑> ('a t, 'a) Fieldslib.Field.t ‑> 'a t ‑> 'a ‑> 'acc__3) ‑> right:('acc__3 ‑> ('a t, 'a) Fieldslib.Field.t ‑> 'a t ‑> 'a ‑> 'acc__4) ‑> 'acc__4`
`val for_all : 'a t ‑> top:(('a t, 'a) Fieldslib.Field.t ‑> 'a t ‑> 'a ‑> bool) ‑> left:(('a t, 'a) Fieldslib.Field.t ‑> 'a t ‑> 'a ‑> bool) ‑> bottom:(('a t, 'a) Fieldslib.Field.t ‑> 'a t ‑> 'a ‑> bool) ‑> right:(('a t, 'a) Fieldslib.Field.t ‑> 'a t ‑> 'a ‑> bool) ‑> bool`
`val exists : 'a t ‑> top:(('a t, 'a) Fieldslib.Field.t ‑> 'a t ‑> 'a ‑> bool) ‑> left:(('a t, 'a) Fieldslib.Field.t ‑> 'a t ‑> 'a ‑> bool) ‑> bottom:(('a t, 'a) Fieldslib.Field.t ‑> 'a t ‑> 'a ‑> bool) ‑> right:(('a t, 'a) Fieldslib.Field.t ‑> 'a t ‑> 'a ‑> bool) ‑> bool`
`val to_list : 'a t ‑> top:(('a t, 'a) Fieldslib.Field.t ‑> 'a t ‑> 'a ‑> 'elem__) ‑> left:(('a t, 'a) Fieldslib.Field.t ‑> 'a t ‑> 'a ‑> 'elem__) ‑> bottom:(('a t, 'a) Fieldslib.Field.t ‑> 'a t ‑> 'a ‑> 'elem__) ‑> right:(('a t, 'a) Fieldslib.Field.t ‑> 'a t ‑> 'a ‑> 'elem__) ‑> 'elem__ list`
`val map : 'a t ‑> top:(('a t, 'a) Fieldslib.Field.t ‑> 'a t ‑> 'a ‑> 'a) ‑> left:(('a t, 'a) Fieldslib.Field.t ‑> 'a t ‑> 'a ‑> 'a) ‑> bottom:(('a t, 'a) Fieldslib.Field.t ‑> 'a t ‑> 'a ‑> 'a) ‑> right:(('a t, 'a) Fieldslib.Field.t ‑> 'a t ‑> 'a ‑> 'a) ‑> 'a t`
`val set_all_mutable_fields : 'a t ‑> unit`