module Fields: sig .. end
val names : string list
val allocation_policy : (Core_gc.Control.t, int) Fieldslib.Field.t
val stack_limit : (Core_gc.Control.t, int) Fieldslib.Field.t
val max_overhead : (Core_gc.Control.t, int) Fieldslib.Field.t
val verbose : (Core_gc.Control.t, int) Fieldslib.Field.t
val space_overhead : (Core_gc.Control.t, int) Fieldslib.Field.t
val major_heap_increment : (Core_gc.Control.t, int) Fieldslib.Field.t
val minor_heap_size : (Core_gc.Control.t, int) Fieldslib.Field.t
val fold : init:'acc__ ->
       minor_heap_size:('acc__ ->
                        (Core_gc.Control.t, int) Fieldslib.Field.t -> 'acc__) ->
       major_heap_increment:('acc__ ->
                             (Core_gc.Control.t, int) Fieldslib.Field.t -> 'acc__) ->
       space_overhead:('acc__ ->
                       (Core_gc.Control.t, int) Fieldslib.Field.t -> 'acc__) ->
       verbose:('acc__ -> (Core_gc.Control.t, int) Fieldslib.Field.t -> 'acc__) ->
       max_overhead:('acc__ -> (Core_gc.Control.t, int) Fieldslib.Field.t -> 'acc__) ->
       stack_limit:('acc__ -> (Core_gc.Control.t, int) Fieldslib.Field.t -> 'acc__) ->
       allocation_policy:('acc__ ->
                          (Core_gc.Control.t, int) Fieldslib.Field.t -> 'acc__) ->
       'acc__
val make_creator : minor_heap_size:((Core_gc.Control.t, int) Fieldslib.Field.t ->
                        'compile_acc__ -> ('input__ -> int) * 'compile_acc__) ->
       major_heap_increment:((Core_gc.Control.t, int) Fieldslib.Field.t ->
                             'compile_acc__ -> ('input__ -> int) * 'compile_acc__) ->
       space_overhead:((Core_gc.Control.t, int) Fieldslib.Field.t ->
                       'compile_acc__ -> ('input__ -> int) * 'compile_acc__) ->
       verbose:((Core_gc.Control.t, int) Fieldslib.Field.t ->
                'compile_acc__ -> ('input__ -> int) * 'compile_acc__) ->
       max_overhead:((Core_gc.Control.t, int) Fieldslib.Field.t ->
                     'compile_acc__ -> ('input__ -> int) * 'compile_acc__) ->
       stack_limit:((Core_gc.Control.t, int) Fieldslib.Field.t ->
                    'compile_acc__ -> ('input__ -> int) * 'compile_acc__) ->
       allocation_policy:((Core_gc.Control.t, int) Fieldslib.Field.t ->
                          'compile_acc__ -> ('input__ -> int) * 'compile_acc__) ->
       'compile_acc__ -> ('input__ -> Core_gc.Control.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 -> Core_gc.Control.t
val map : minor_heap_size:((Core_gc.Control.t, int) Fieldslib.Field.t -> int) ->
       major_heap_increment:((Core_gc.Control.t, int) Fieldslib.Field.t -> int) ->
       space_overhead:((Core_gc.Control.t, int) Fieldslib.Field.t -> int) ->
       verbose:((Core_gc.Control.t, int) Fieldslib.Field.t -> int) ->
       max_overhead:((Core_gc.Control.t, int) Fieldslib.Field.t -> int) ->
       stack_limit:((Core_gc.Control.t, int) Fieldslib.Field.t -> int) ->
       allocation_policy:((Core_gc.Control.t, int) Fieldslib.Field.t -> int) ->
       Core_gc.Control.t
val iter : minor_heap_size:((Core_gc.Control.t, int) Fieldslib.Field.t -> unit) ->
       major_heap_increment:((Core_gc.Control.t, int) Fieldslib.Field.t -> unit) ->
       space_overhead:((Core_gc.Control.t, int) Fieldslib.Field.t -> unit) ->
       verbose:((Core_gc.Control.t, int) Fieldslib.Field.t -> unit) ->
       max_overhead:((Core_gc.Control.t, int) Fieldslib.Field.t -> unit) ->
       stack_limit:((Core_gc.Control.t, int) Fieldslib.Field.t -> unit) ->
       allocation_policy:((Core_gc.Control.t, int) Fieldslib.Field.t -> unit) ->
       unit
val for_all : minor_heap_size:((Core_gc.Control.t, int) Fieldslib.Field.t -> bool) ->
       major_heap_increment:((Core_gc.Control.t, int) Fieldslib.Field.t -> bool) ->
       space_overhead:((Core_gc.Control.t, int) Fieldslib.Field.t -> bool) ->
       verbose:((Core_gc.Control.t, int) Fieldslib.Field.t -> bool) ->
       max_overhead:((Core_gc.Control.t, int) Fieldslib.Field.t -> bool) ->
       stack_limit:((Core_gc.Control.t, int) Fieldslib.Field.t -> bool) ->
       allocation_policy:((Core_gc.Control.t, int) Fieldslib.Field.t -> bool) ->
       bool
val exists : minor_heap_size:((Core_gc.Control.t, int) Fieldslib.Field.t -> bool) ->
       major_heap_increment:((Core_gc.Control.t, int) Fieldslib.Field.t -> bool) ->
       space_overhead:((Core_gc.Control.t, int) Fieldslib.Field.t -> bool) ->
       verbose:((Core_gc.Control.t, int) Fieldslib.Field.t -> bool) ->
       max_overhead:((Core_gc.Control.t, int) Fieldslib.Field.t -> bool) ->
       stack_limit:((Core_gc.Control.t, int) Fieldslib.Field.t -> bool) ->
       allocation_policy:((Core_gc.Control.t, int) Fieldslib.Field.t -> bool) ->
       bool
val to_list : minor_heap_size:((Core_gc.Control.t, int) Fieldslib.Field.t -> 'elem__) ->
       major_heap_increment:((Core_gc.Control.t, int) Fieldslib.Field.t -> 'elem__) ->
       space_overhead:((Core_gc.Control.t, int) Fieldslib.Field.t -> 'elem__) ->
       verbose:((Core_gc.Control.t, int) Fieldslib.Field.t -> 'elem__) ->
       max_overhead:((Core_gc.Control.t, int) Fieldslib.Field.t -> 'elem__) ->
       stack_limit:((Core_gc.Control.t, int) Fieldslib.Field.t -> 'elem__) ->
       allocation_policy:((Core_gc.Control.t, int) Fieldslib.Field.t -> 'elem__) ->
       'elem__ list
val map_poly : ([< `Read | `Set_and_create ], Core_gc.Control.t, 'x0) Fieldslib.Field.user ->
       'x0 list
module Direct: sig .. end