`val names : string list`
`val right : (t, float) Fieldslib.Field.t`
`val bottom : (t, float) Fieldslib.Field.t`
`val left : (t, float) Fieldslib.Field.t`
`val top : (t, float) Fieldslib.Field.t`
`val fold : init:'acc__0 ‑> top:('acc__0 ‑> (t, float) Fieldslib.Field.t ‑> 'acc__1) ‑> left:('acc__1 ‑> (t, float) Fieldslib.Field.t ‑> 'acc__2) ‑> bottom:('acc__2 ‑> (t, float) Fieldslib.Field.t ‑> 'acc__3) ‑> right:('acc__3 ‑> (t, float) Fieldslib.Field.t ‑> 'acc__4) ‑> 'acc__4`
`val make_creator : top:((t, float) Fieldslib.Field.t ‑> 'acc__0 ‑> ('input__ ‑> float) * 'acc__1) ‑> left:((t, float) Fieldslib.Field.t ‑> 'acc__1 ‑> ('input__ ‑> float) * 'acc__2) ‑> bottom:((t, float) Fieldslib.Field.t ‑> 'acc__2 ‑> ('input__ ‑> float) * 'acc__3) ‑> right:((t, float) Fieldslib.Field.t ‑> 'acc__3 ‑> ('input__ ‑> float) * 'acc__4) ‑> 'acc__0 ‑> ('input__ ‑> t) * 'acc__4`
`val create : top:float ‑> left:float ‑> bottom:float ‑> right:float ‑> t`
`val map : top:((t, float) Fieldslib.Field.t ‑> float) ‑> left:((t, float) Fieldslib.Field.t ‑> float) ‑> bottom:((t, float) Fieldslib.Field.t ‑> float) ‑> right:((t, float) Fieldslib.Field.t ‑> float) ‑> t`
`val iter : top:((t, float) Fieldslib.Field.t ‑> unit) ‑> left:((t, float) Fieldslib.Field.t ‑> unit) ‑> bottom:((t, float) Fieldslib.Field.t ‑> unit) ‑> right:((t, float) Fieldslib.Field.t ‑> unit) ‑> unit`
`val for_all : top:((t, float) Fieldslib.Field.t ‑> bool) ‑> left:((t, float) Fieldslib.Field.t ‑> bool) ‑> bottom:((t, float) Fieldslib.Field.t ‑> bool) ‑> right:((t, float) Fieldslib.Field.t ‑> bool) ‑> bool`
`val exists : top:((t, float) Fieldslib.Field.t ‑> bool) ‑> left:((t, float) Fieldslib.Field.t ‑> bool) ‑> bottom:((t, float) Fieldslib.Field.t ‑> bool) ‑> right:((t, float) Fieldslib.Field.t ‑> bool) ‑> bool`
`val to_list : top:((t, float) Fieldslib.Field.t ‑> 'elem__) ‑> left:((t, float) Fieldslib.Field.t ‑> 'elem__) ‑> bottom:((t, float) Fieldslib.Field.t ‑> 'elem__) ‑> right:((t, float) Fieldslib.Field.t ‑> 'elem__) ‑> 'elem__ list`
`val map_poly : ([< `Read | `Set_and_create ], t, 'x0) Fieldslib.Field.user ‑> 'x0 list`
`module Direct : sig ... end`