Module Direct

val iter : t -> minor_heap_size:((t, int) Fieldslib.Field.t -> t -> int -> unit) -> major_heap_increment:((t, int) Fieldslib.Field.t -> t -> int -> unit) -> space_overhead:((t, int) Fieldslib.Field.t -> t -> int -> unit) -> verbose:((t, int) Fieldslib.Field.t -> t -> int -> unit) -> max_overhead:((t, int) Fieldslib.Field.t -> t -> int -> unit) -> stack_limit:((t, int) Fieldslib.Field.t -> t -> int -> unit) -> allocation_policy:((t, int) Fieldslib.Field.t -> t -> int -> unit) -> unit

val fold : t -> init:'acc__0 -> minor_heap_size:('acc__0 -> (t, int) Fieldslib.Field.t -> t -> int -> 'acc__1) -> major_heap_increment:('acc__1 -> (t, int) Fieldslib.Field.t -> t -> int -> 'acc__2) -> space_overhead:('acc__2 -> (t, int) Fieldslib.Field.t -> t -> int -> 'acc__3) -> verbose:('acc__3 -> (t, int) Fieldslib.Field.t -> t -> int -> 'acc__4) -> max_overhead:('acc__4 -> (t, int) Fieldslib.Field.t -> t -> int -> 'acc__5) -> stack_limit:('acc__5 -> (t, int) Fieldslib.Field.t -> t -> int -> 'acc__6) -> allocation_policy:('acc__6 -> (t, int) Fieldslib.Field.t -> t -> int -> 'acc__7) -> 'acc__7

val for_all : t -> minor_heap_size:((t, int) Fieldslib.Field.t -> t -> int -> bool) -> major_heap_increment:((t, int) Fieldslib.Field.t -> t -> int -> bool) -> space_overhead:((t, int) Fieldslib.Field.t -> t -> int -> bool) -> verbose:((t, int) Fieldslib.Field.t -> t -> int -> bool) -> max_overhead:((t, int) Fieldslib.Field.t -> t -> int -> bool) -> stack_limit:((t, int) Fieldslib.Field.t -> t -> int -> bool) -> allocation_policy:((t, int) Fieldslib.Field.t -> t -> int -> bool) -> bool

val exists : t -> minor_heap_size:((t, int) Fieldslib.Field.t -> t -> int -> bool) -> major_heap_increment:((t, int) Fieldslib.Field.t -> t -> int -> bool) -> space_overhead:((t, int) Fieldslib.Field.t -> t -> int -> bool) -> verbose:((t, int) Fieldslib.Field.t -> t -> int -> bool) -> max_overhead:((t, int) Fieldslib.Field.t -> t -> int -> bool) -> stack_limit:((t, int) Fieldslib.Field.t -> t -> int -> bool) -> allocation_policy:((t, int) Fieldslib.Field.t -> t -> int -> bool) -> bool

val to_list : t -> minor_heap_size:((t, int) Fieldslib.Field.t -> t -> int -> 'elem__) -> major_heap_increment:((t, int) Fieldslib.Field.t -> t -> int -> 'elem__) -> space_overhead:((t, int) Fieldslib.Field.t -> t -> int -> 'elem__) -> verbose:((t, int) Fieldslib.Field.t -> t -> int -> 'elem__) -> max_overhead:((t, int) Fieldslib.Field.t -> t -> int -> 'elem__) -> stack_limit:((t, int) Fieldslib.Field.t -> t -> int -> 'elem__) -> allocation_policy:((t, int) Fieldslib.Field.t -> t -> int -> 'elem__) -> 'elem__ list

val map : t -> minor_heap_size:((t, int) Fieldslib.Field.t -> t -> int -> int) -> major_heap_increment:((t, int) Fieldslib.Field.t -> t -> int -> int) -> space_overhead:((t, int) Fieldslib.Field.t -> t -> int -> int) -> verbose:((t, int) Fieldslib.Field.t -> t -> int -> int) -> max_overhead:((t, int) Fieldslib.Field.t -> t -> int -> int) -> stack_limit:((t, int) Fieldslib.Field.t -> t -> int -> int) -> allocation_policy:((t, int) Fieldslib.Field.t -> t -> int -> int) -> t

val set_all_mutable_fields : t -> minor_heap_size:int -> major_heap_increment:int -> space_overhead:int -> verbose:int -> max_overhead:int -> stack_limit:int -> allocation_policy:int -> unit