Module Fields

val names : string list

val allocation_policy : (t, int) Fieldslib.Field.t

val stack_limit : (t, int) Fieldslib.Field.t

val max_overhead : (t, int) Fieldslib.Field.t

val verbose : (t, int) Fieldslib.Field.t

val space_overhead : (t, int) Fieldslib.Field.t

val major_heap_increment : (t, int) Fieldslib.Field.t

val minor_heap_size : (t, int) Fieldslib.Field.t

val fold : init:'acc__ -> minor_heap_size:('acc__ -> (t, int) Fieldslib.Field.t -> 'acc__) -> major_heap_increment:('acc__ -> (t, int) Fieldslib.Field.t -> 'acc__) -> space_overhead:('acc__ -> (t, int) Fieldslib.Field.t -> 'acc__) -> verbose:('acc__ -> (t, int) Fieldslib.Field.t -> 'acc__) -> max_overhead:('acc__ -> (t, int) Fieldslib.Field.t -> 'acc__) -> stack_limit:('acc__ -> (t, int) Fieldslib.Field.t -> 'acc__) -> allocation_policy:('acc__ -> (t, int) Fieldslib.Field.t -> 'acc__) -> 'acc__

val make_creator : minor_heap_size:((t, int) Fieldslib.Field.t -> 'compile_acc__ -> ('input__ -> int) * 'compile_acc__) -> major_heap_increment:((t, int) Fieldslib.Field.t -> 'compile_acc__ -> ('input__ -> int) * 'compile_acc__) -> space_overhead:((t, int) Fieldslib.Field.t -> 'compile_acc__ -> ('input__ -> int) * 'compile_acc__) -> verbose:((t, int) Fieldslib.Field.t -> 'compile_acc__ -> ('input__ -> int) * 'compile_acc__) -> max_overhead:((t, int) Fieldslib.Field.t -> 'compile_acc__ -> ('input__ -> int) * 'compile_acc__) -> stack_limit:((t, int) Fieldslib.Field.t -> 'compile_acc__ -> ('input__ -> int) * 'compile_acc__) -> allocation_policy:((t, int) Fieldslib.Field.t -> 'compile_acc__ -> ('input__ -> int) * 'compile_acc__) -> 'compile_acc__ -> ('input__ -> t) * 'compile_acc__

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

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

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

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

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

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

val map_poly : ([< ], t, 'x0) Fieldslib.Field.user -> 'x0 list