Module Direct

val iter : t -> size:((t, bigint) Fieldslib.Field.t -> t -> bigint -> unit) -> resident:((t, bigint) Fieldslib.Field.t -> t -> bigint -> unit) -> share:((t, bigint) Fieldslib.Field.t -> t -> bigint -> unit) -> text:((t, bigint) Fieldslib.Field.t -> t -> bigint -> unit) -> lib:((t, bigint) Fieldslib.Field.t -> t -> bigint -> unit) -> data:((t, bigint) Fieldslib.Field.t -> t -> bigint -> unit) -> dt:((t, bigint) Fieldslib.Field.t -> t -> bigint -> unit) -> unit

val fold : t -> init:'acc__0 -> size:('acc__0 -> (t, bigint) Fieldslib.Field.t -> t -> bigint -> 'acc__1) -> resident:('acc__1 -> (t, bigint) Fieldslib.Field.t -> t -> bigint -> 'acc__2) -> share:('acc__2 -> (t, bigint) Fieldslib.Field.t -> t -> bigint -> 'acc__3) -> text:('acc__3 -> (t, bigint) Fieldslib.Field.t -> t -> bigint -> 'acc__4) -> lib:('acc__4 -> (t, bigint) Fieldslib.Field.t -> t -> bigint -> 'acc__5) -> data:('acc__5 -> (t, bigint) Fieldslib.Field.t -> t -> bigint -> 'acc__6) -> dt:('acc__6 -> (t, bigint) Fieldslib.Field.t -> t -> bigint -> 'acc__7) -> 'acc__7

val for_all : t -> size:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bool) -> resident:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bool) -> share:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bool) -> text:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bool) -> lib:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bool) -> data:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bool) -> dt:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bool) -> bool

val exists : t -> size:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bool) -> resident:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bool) -> share:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bool) -> text:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bool) -> lib:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bool) -> data:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bool) -> dt:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bool) -> bool

val to_list : t -> size:((t, bigint) Fieldslib.Field.t -> t -> bigint -> 'elem__) -> resident:((t, bigint) Fieldslib.Field.t -> t -> bigint -> 'elem__) -> share:((t, bigint) Fieldslib.Field.t -> t -> bigint -> 'elem__) -> text:((t, bigint) Fieldslib.Field.t -> t -> bigint -> 'elem__) -> lib:((t, bigint) Fieldslib.Field.t -> t -> bigint -> 'elem__) -> data:((t, bigint) Fieldslib.Field.t -> t -> bigint -> 'elem__) -> dt:((t, bigint) Fieldslib.Field.t -> t -> bigint -> 'elem__) -> 'elem__ list

val map : t -> size:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bigint) -> resident:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bigint) -> share:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bigint) -> text:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bigint) -> lib:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bigint) -> data:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bigint) -> dt:((t, bigint) Fieldslib.Field.t -> t -> bigint -> bigint) -> t

val set_all_mutable_fields : t -> unit