Module Fields

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__ -> size:('acc__ -> (t, bigint) Fieldslib.Field.t -> 'acc__) -> resident:('acc__ -> (t, bigint) Fieldslib.Field.t -> 'acc__) -> share:('acc__ -> (t, bigint) Fieldslib.Field.t -> 'acc__) -> text:('acc__ -> (t, bigint) Fieldslib.Field.t -> 'acc__) -> lib:('acc__ -> (t, bigint) Fieldslib.Field.t -> 'acc__) -> data:('acc__ -> (t, bigint) Fieldslib.Field.t -> 'acc__) -> dt:('acc__ -> (t, bigint) Fieldslib.Field.t -> 'acc__) -> 'acc__

val make_creator : size:((t, bigint) Fieldslib.Field.t -> 'compile_acc__ -> ('input__ -> bigint) * 'compile_acc__) -> resident:((t, bigint) Fieldslib.Field.t -> 'compile_acc__ -> ('input__ -> bigint) * 'compile_acc__) -> share:((t, bigint) Fieldslib.Field.t -> 'compile_acc__ -> ('input__ -> bigint) * 'compile_acc__) -> text:((t, bigint) Fieldslib.Field.t -> 'compile_acc__ -> ('input__ -> bigint) * 'compile_acc__) -> lib:((t, bigint) Fieldslib.Field.t -> 'compile_acc__ -> ('input__ -> bigint) * 'compile_acc__) -> data:((t, bigint) Fieldslib.Field.t -> 'compile_acc__ -> ('input__ -> bigint) * 'compile_acc__) -> dt:((t, bigint) Fieldslib.Field.t -> 'compile_acc__ -> ('input__ -> bigint) * 'compile_acc__) -> 'compile_acc__ -> ('input__ -> t) * 'compile_acc__

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 : ([< ], t, 'x0) Fieldslib.Field.user -> 'x0 list