Module Core_kernel__.Gc.Control.Fields

val names : Core_kernel__.Import.string Core_kernel__.Import.list
val window_size : (tCore_kernel__.Import.intFieldslib.Field.t
val allocation_policy : (tCore_kernel__.Import.intFieldslib.Field.t
val stack_limit : (tCore_kernel__.Import.intFieldslib.Field.t
val max_overhead : (tCore_kernel__.Import.intFieldslib.Field.t
val verbose : (tCore_kernel__.Import.intFieldslib.Field.t
val space_overhead : (tCore_kernel__.Import.intFieldslib.Field.t
val major_heap_increment : (tCore_kernel__.Import.intFieldslib.Field.t
val minor_heap_size : (tCore_kernel__.Import.intFieldslib.Field.t
val fold : init:'acc__0 ‑> minor_heap_size:('acc__0 ‑> (tCore_kernel__.Import.intFieldslib.Field.t ‑> 'acc__1) ‑> major_heap_increment:('acc__1 ‑> (tCore_kernel__.Import.intFieldslib.Field.t ‑> 'acc__2) ‑> space_overhead:('acc__2 ‑> (tCore_kernel__.Import.intFieldslib.Field.t ‑> 'acc__3) ‑> verbose:('acc__3 ‑> (tCore_kernel__.Import.intFieldslib.Field.t ‑> 'acc__4) ‑> max_overhead:('acc__4 ‑> (tCore_kernel__.Import.intFieldslib.Field.t ‑> 'acc__5) ‑> stack_limit:('acc__5 ‑> (tCore_kernel__.Import.intFieldslib.Field.t ‑> 'acc__6) ‑> allocation_policy:('acc__6 ‑> (tCore_kernel__.Import.intFieldslib.Field.t ‑> 'acc__7) ‑> window_size:('acc__7 ‑> (tCore_kernel__.Import.intFieldslib.Field.t ‑> 'acc__8) ‑> 'acc__8
val make_creator : minor_heap_size:((tCore_kernel__.Import.intFieldslib.Field.t ‑> 'acc__0 ‑> ('input__ ‑> Core_kernel__.Import.int) * 'acc__1) ‑> major_heap_increment:((tCore_kernel__.Import.intFieldslib.Field.t ‑> 'acc__1 ‑> ('input__ ‑> Core_kernel__.Import.int) * 'acc__2) ‑> space_overhead:((tCore_kernel__.Import.intFieldslib.Field.t ‑> 'acc__2 ‑> ('input__ ‑> Core_kernel__.Import.int) * 'acc__3) ‑> verbose:((tCore_kernel__.Import.intFieldslib.Field.t ‑> 'acc__3 ‑> ('input__ ‑> Core_kernel__.Import.int) * 'acc__4) ‑> max_overhead:((tCore_kernel__.Import.intFieldslib.Field.t ‑> 'acc__4 ‑> ('input__ ‑> Core_kernel__.Import.int) * 'acc__5) ‑> stack_limit:((tCore_kernel__.Import.intFieldslib.Field.t ‑> 'acc__5 ‑> ('input__ ‑> Core_kernel__.Import.int) * 'acc__6) ‑> allocation_policy:((tCore_kernel__.Import.intFieldslib.Field.t ‑> 'acc__6 ‑> ('input__ ‑> Core_kernel__.Import.int) * 'acc__7) ‑> window_size:((tCore_kernel__.Import.intFieldslib.Field.t ‑> 'acc__7 ‑> ('input__ ‑> Core_kernel__.Import.int) * 'acc__8) ‑> 'acc__0 ‑> ('input__ ‑> t) * 'acc__8
val create : minor_heap_size:Core_kernel__.Import.int ‑> major_heap_increment:Core_kernel__.Import.int ‑> space_overhead:Core_kernel__.Import.int ‑> verbose:Core_kernel__.Import.int ‑> max_overhead:Core_kernel__.Import.int ‑> stack_limit:Core_kernel__.Import.int ‑> allocation_policy:Core_kernel__.Import.int ‑> window_size:Core_kernel__.Import.int ‑> t
val map : minor_heap_size:((tCore_kernel__.Import.intFieldslib.Field.t ‑> Core_kernel__.Import.int) ‑> major_heap_increment:((tCore_kernel__.Import.intFieldslib.Field.t ‑> Core_kernel__.Import.int) ‑> space_overhead:((tCore_kernel__.Import.intFieldslib.Field.t ‑> Core_kernel__.Import.int) ‑> verbose:((tCore_kernel__.Import.intFieldslib.Field.t ‑> Core_kernel__.Import.int) ‑> max_overhead:((tCore_kernel__.Import.intFieldslib.Field.t ‑> Core_kernel__.Import.int) ‑> stack_limit:((tCore_kernel__.Import.intFieldslib.Field.t ‑> Core_kernel__.Import.int) ‑> allocation_policy:((tCore_kernel__.Import.intFieldslib.Field.t ‑> Core_kernel__.Import.int) ‑> window_size:((tCore_kernel__.Import.intFieldslib.Field.t ‑> Core_kernel__.Import.int) ‑> t
val iter : minor_heap_size:((tCore_kernel__.Import.intFieldslib.Field.t ‑> Core_kernel__.Import.unit) ‑> major_heap_increment:((tCore_kernel__.Import.intFieldslib.Field.t ‑> Core_kernel__.Import.unit) ‑> space_overhead:((tCore_kernel__.Import.intFieldslib.Field.t ‑> Core_kernel__.Import.unit) ‑> verbose:((tCore_kernel__.Import.intFieldslib.Field.t ‑> Core_kernel__.Import.unit) ‑> max_overhead:((tCore_kernel__.Import.intFieldslib.Field.t ‑> Core_kernel__.Import.unit) ‑> stack_limit:((tCore_kernel__.Import.intFieldslib.Field.t ‑> Core_kernel__.Import.unit) ‑> allocation_policy:((tCore_kernel__.Import.intFieldslib.Field.t ‑> Core_kernel__.Import.unit) ‑> window_size:((tCore_kernel__.Import.intFieldslib.Field.t ‑> Core_kernel__.Import.unit) ‑> Core_kernel__.Import.unit
val for_all : minor_heap_size:((tCore_kernel__.Import.intFieldslib.Field.t ‑> Core_kernel__.Import.bool) ‑> major_heap_increment:((tCore_kernel__.Import.intFieldslib.Field.t ‑> Core_kernel__.Import.bool) ‑> space_overhead:((tCore_kernel__.Import.intFieldslib.Field.t ‑> Core_kernel__.Import.bool) ‑> verbose:((tCore_kernel__.Import.intFieldslib.Field.t ‑> Core_kernel__.Import.bool) ‑> max_overhead:((tCore_kernel__.Import.intFieldslib.Field.t ‑> Core_kernel__.Import.bool) ‑> stack_limit:((tCore_kernel__.Import.intFieldslib.Field.t ‑> Core_kernel__.Import.bool) ‑> allocation_policy:((tCore_kernel__.Import.intFieldslib.Field.t ‑> Core_kernel__.Import.bool) ‑> window_size:((tCore_kernel__.Import.intFieldslib.Field.t ‑> Core_kernel__.Import.bool) ‑> Core_kernel__.Import.bool
val exists : minor_heap_size:((tCore_kernel__.Import.intFieldslib.Field.t ‑> Core_kernel__.Import.bool) ‑> major_heap_increment:((tCore_kernel__.Import.intFieldslib.Field.t ‑> Core_kernel__.Import.bool) ‑> space_overhead:((tCore_kernel__.Import.intFieldslib.Field.t ‑> Core_kernel__.Import.bool) ‑> verbose:((tCore_kernel__.Import.intFieldslib.Field.t ‑> Core_kernel__.Import.bool) ‑> max_overhead:((tCore_kernel__.Import.intFieldslib.Field.t ‑> Core_kernel__.Import.bool) ‑> stack_limit:((tCore_kernel__.Import.intFieldslib.Field.t ‑> Core_kernel__.Import.bool) ‑> allocation_policy:((tCore_kernel__.Import.intFieldslib.Field.t ‑> Core_kernel__.Import.bool) ‑> window_size:((tCore_kernel__.Import.intFieldslib.Field.t ‑> Core_kernel__.Import.bool) ‑> Core_kernel__.Import.bool
val to_list : minor_heap_size:((tCore_kernel__.Import.intFieldslib.Field.t ‑> 'elem__) ‑> major_heap_increment:((tCore_kernel__.Import.intFieldslib.Field.t ‑> 'elem__) ‑> space_overhead:((tCore_kernel__.Import.intFieldslib.Field.t ‑> 'elem__) ‑> verbose:((tCore_kernel__.Import.intFieldslib.Field.t ‑> 'elem__) ‑> max_overhead:((tCore_kernel__.Import.intFieldslib.Field.t ‑> 'elem__) ‑> stack_limit:((tCore_kernel__.Import.intFieldslib.Field.t ‑> 'elem__) ‑> allocation_policy:((tCore_kernel__.Import.intFieldslib.Field.t ‑> 'elem__) ‑> window_size:((tCore_kernel__.Import.intFieldslib.Field.t ‑> 'elem__) ‑> 'elem__ Core_kernel__.Import.list
val map_poly : ([< `Read | `Set_and_create ], t'x0Fieldslib.Field.user ‑> 'x0 Core_kernel__.Import.list
module Direct : sig ... end