# Module Core_gc.Control.Fields

    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