Up
Module
Fields
Signature
val
names : string list
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
share : (
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
create : size:
bigint
-> resident:
bigint
-> share:
bigint
-> text:
bigint
-> lib:
bigint
-> data:
bigint
-> dt:
bigint
->
t
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