val dt : (t, bigint) Fieldslib.Field.t
val data : (t, bigint) Fieldslib.Field.t
val lib : (t, bigint) Fieldslib.Field.t
val text : (t, bigint) Fieldslib.Field.t
val resident : (t, bigint) Fieldslib.Field.t
val size : (t, bigint) Fieldslib.Field.t
val fold : init:'acc__0 ‑> size:('acc__0 ‑> (t, bigint) Fieldslib.Field.t ‑> 'acc__1) ‑> resident:('acc__1 ‑> (t, bigint) Fieldslib.Field.t ‑> 'acc__2) ‑> share:('acc__2 ‑> (t, bigint) Fieldslib.Field.t ‑> 'acc__3) ‑> text:('acc__3 ‑> (t, bigint) Fieldslib.Field.t ‑> 'acc__4) ‑> lib:('acc__4 ‑> (t, bigint) Fieldslib.Field.t ‑> 'acc__5) ‑> data:('acc__5 ‑> (t, bigint) Fieldslib.Field.t ‑> 'acc__6) ‑> dt:('acc__6 ‑> (t, bigint) Fieldslib.Field.t ‑> 'acc__7) ‑> 'acc__7
val make_creator : size:((t, bigint) Fieldslib.Field.t ‑> 'acc__0 ‑> ('input__ ‑> bigint) * 'acc__1) ‑> resident:((t, bigint) Fieldslib.Field.t ‑> 'acc__1 ‑> ('input__ ‑> bigint) * 'acc__2) ‑> share:((t, bigint) Fieldslib.Field.t ‑> 'acc__2 ‑> ('input__ ‑> bigint) * 'acc__3) ‑> text:((t, bigint) Fieldslib.Field.t ‑> 'acc__3 ‑> ('input__ ‑> bigint) * 'acc__4) ‑> lib:((t, bigint) Fieldslib.Field.t ‑> 'acc__4 ‑> ('input__ ‑> bigint) * 'acc__5) ‑> data:((t, bigint) Fieldslib.Field.t ‑> 'acc__5 ‑> ('input__ ‑> bigint) * 'acc__6) ‑> dt:((t, bigint) Fieldslib.Field.t ‑> 'acc__6 ‑> ('input__ ‑> bigint) * 'acc__7) ‑> 'acc__0 ‑> ('input__ ‑> t) * 'acc__7
val map : size:((t, bigint) Fieldslib.Field.t ‑> bigint) ‑> resident:((t, bigint) Fieldslib.Field.t ‑> bigint) ‑> share:((t, bigint) Fieldslib.Field.t ‑> bigint) ‑> text:((t, bigint) Fieldslib.Field.t ‑> bigint) ‑> lib:((t, bigint) Fieldslib.Field.t ‑> bigint) ‑> data:((t, bigint) Fieldslib.Field.t ‑> bigint) ‑> dt:((t, bigint) Fieldslib.Field.t ‑> bigint) ‑> t
val iter : size:((t, bigint) Fieldslib.Field.t ‑> unit) ‑> resident:((t, bigint) Fieldslib.Field.t ‑> unit) ‑> share:((t, bigint) Fieldslib.Field.t ‑> unit) ‑> text:((t, bigint) Fieldslib.Field.t ‑> unit) ‑> lib:((t, bigint) Fieldslib.Field.t ‑> unit) ‑> data:((t, bigint) Fieldslib.Field.t ‑> unit) ‑> dt:((t, bigint) Fieldslib.Field.t ‑> unit) ‑> unit
val for_all : size:((t, bigint) Fieldslib.Field.t ‑> bool) ‑> resident:((t, bigint) Fieldslib.Field.t ‑> bool) ‑> share:((t, bigint) Fieldslib.Field.t ‑> bool) ‑> text:((t, bigint) Fieldslib.Field.t ‑> bool) ‑> lib:((t, bigint) Fieldslib.Field.t ‑> bool) ‑> data:((t, bigint) Fieldslib.Field.t ‑> bool) ‑> dt:((t, bigint) Fieldslib.Field.t ‑> bool) ‑> bool
val exists : size:((t, bigint) Fieldslib.Field.t ‑> bool) ‑> resident:((t, bigint) Fieldslib.Field.t ‑> bool) ‑> share:((t, bigint) Fieldslib.Field.t ‑> bool) ‑> text:((t, bigint) Fieldslib.Field.t ‑> bool) ‑> lib:((t, bigint) Fieldslib.Field.t ‑> bool) ‑> data:((t, bigint) Fieldslib.Field.t ‑> bool) ‑> dt:((t, bigint) Fieldslib.Field.t ‑> bool) ‑> bool
val to_list : size:((t, bigint) Fieldslib.Field.t ‑> 'elem__) ‑> resident:((t, bigint) Fieldslib.Field.t ‑> 'elem__) ‑> share:((t, bigint) Fieldslib.Field.t ‑> 'elem__) ‑> text:((t, bigint) Fieldslib.Field.t ‑> 'elem__) ‑> lib:((t, bigint) Fieldslib.Field.t ‑> 'elem__) ‑> data:((t, bigint) Fieldslib.Field.t ‑> 'elem__) ‑> dt:((t, bigint) Fieldslib.Field.t ‑> 'elem__) ‑> 'elem__ list
val map_poly : ([< `Read | `Set_and_create ], t, 'x0) Fieldslib.Field.user ‑> 'x0 list
module Direct : sig ... end