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