val names : Core_kernel__.Import.string Core_kernel__.Import.listval custom_minor_max_size : (t, Core_kernel__.Import.int) Fieldslib.Field.tval custom_minor_ratio : (t, Core_kernel__.Import.int) Fieldslib.Field.tval custom_major_ratio : (t, Core_kernel__.Import.int) Fieldslib.Field.tval window_size : (t, Core_kernel__.Import.int) Fieldslib.Field.tval allocation_policy : (t, Core_kernel__.Import.int) Fieldslib.Field.tval stack_limit : (t, Core_kernel__.Import.int) Fieldslib.Field.tval max_overhead : (t, Core_kernel__.Import.int) Fieldslib.Field.tval verbose : (t, Core_kernel__.Import.int) Fieldslib.Field.tval space_overhead : (t, Core_kernel__.Import.int) Fieldslib.Field.tval major_heap_increment : (t, Core_kernel__.Import.int) Fieldslib.Field.tval minor_heap_size : (t, Core_kernel__.Import.int) Fieldslib.Field.tval fold : init:'acc__0 -> minor_heap_size:('acc__0 -> (t, Core_kernel__.Import.int) Fieldslib.Field.t -> 'acc__1) -> major_heap_increment:('acc__1 -> (t, Core_kernel__.Import.int) Fieldslib.Field.t -> 'acc__2) -> space_overhead:('acc__2 -> (t, Core_kernel__.Import.int) Fieldslib.Field.t -> 'acc__3) -> verbose:('acc__3 -> (t, Core_kernel__.Import.int) Fieldslib.Field.t -> 'acc__4) -> max_overhead:('acc__4 -> (t, Core_kernel__.Import.int) Fieldslib.Field.t -> 'acc__5) -> stack_limit:('acc__5 -> (t, Core_kernel__.Import.int) Fieldslib.Field.t -> 'acc__6) -> allocation_policy:('acc__6 -> (t, Core_kernel__.Import.int) Fieldslib.Field.t -> 'acc__7) -> window_size:('acc__7 -> (t, Core_kernel__.Import.int) Fieldslib.Field.t -> 'acc__8) -> custom_major_ratio:('acc__8 -> (t, Core_kernel__.Import.int) Fieldslib.Field.t -> 'acc__9) -> custom_minor_ratio:('acc__9 -> (t, Core_kernel__.Import.int) Fieldslib.Field.t -> 'acc__10) -> custom_minor_max_size:('acc__10 -> (t, Core_kernel__.Import.int) Fieldslib.Field.t -> 'acc__11) -> 'acc__11val make_creator : minor_heap_size:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> 'acc__0 -> ('input__ -> Core_kernel__.Import.int) * 'acc__1) -> major_heap_increment:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> 'acc__1 -> ('input__ -> Core_kernel__.Import.int) * 'acc__2) -> space_overhead:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> 'acc__2 -> ('input__ -> Core_kernel__.Import.int) * 'acc__3) -> verbose:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> 'acc__3 -> ('input__ -> Core_kernel__.Import.int) * 'acc__4) -> max_overhead:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> 'acc__4 -> ('input__ -> Core_kernel__.Import.int) * 'acc__5) -> stack_limit:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> 'acc__5 -> ('input__ -> Core_kernel__.Import.int) * 'acc__6) -> allocation_policy:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> 'acc__6 -> ('input__ -> Core_kernel__.Import.int) * 'acc__7) -> window_size:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> 'acc__7 -> ('input__ -> Core_kernel__.Import.int) * 'acc__8) -> custom_major_ratio:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> 'acc__8 -> ('input__ -> Core_kernel__.Import.int) * 'acc__9) -> custom_minor_ratio:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> 'acc__9 -> ('input__ -> Core_kernel__.Import.int) * 'acc__10) -> custom_minor_max_size:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> 'acc__10 -> ('input__ -> Core_kernel__.Import.int) * 'acc__11) -> 'acc__0 -> ('input__ -> t) * 'acc__11val 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 -> custom_major_ratio:Core_kernel__.Import.int -> custom_minor_ratio:Core_kernel__.Import.int -> custom_minor_max_size:Core_kernel__.Import.int -> tval map : minor_heap_size:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.int) -> major_heap_increment:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.int) -> space_overhead:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.int) -> verbose:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.int) -> max_overhead:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.int) -> stack_limit:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.int) -> allocation_policy:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.int) -> window_size:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.int) -> custom_major_ratio:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.int) -> custom_minor_ratio:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.int) -> custom_minor_max_size:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.int) -> tval iter : minor_heap_size:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.unit) -> major_heap_increment:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.unit) -> space_overhead:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.unit) -> verbose:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.unit) -> max_overhead:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.unit) -> stack_limit:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.unit) -> allocation_policy:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.unit) -> window_size:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.unit) -> custom_major_ratio:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.unit) -> custom_minor_ratio:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.unit) -> custom_minor_max_size:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.unit) -> Core_kernel__.Import.unitval for_all : minor_heap_size:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.bool) -> major_heap_increment:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.bool) -> space_overhead:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.bool) -> verbose:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.bool) -> max_overhead:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.bool) -> stack_limit:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.bool) -> allocation_policy:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.bool) -> window_size:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.bool) -> custom_major_ratio:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.bool) -> custom_minor_ratio:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.bool) -> custom_minor_max_size:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.bool) -> Core_kernel__.Import.boolval exists : minor_heap_size:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.bool) -> major_heap_increment:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.bool) -> space_overhead:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.bool) -> verbose:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.bool) -> max_overhead:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.bool) -> stack_limit:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.bool) -> allocation_policy:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.bool) -> window_size:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.bool) -> custom_major_ratio:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.bool) -> custom_minor_ratio:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.bool) -> custom_minor_max_size:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> Core_kernel__.Import.bool) -> Core_kernel__.Import.boolval to_list : minor_heap_size:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> 'elem__) -> major_heap_increment:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> 'elem__) -> space_overhead:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> 'elem__) -> verbose:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> 'elem__) -> max_overhead:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> 'elem__) -> stack_limit:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> 'elem__) -> allocation_policy:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> 'elem__) -> window_size:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> 'elem__) -> custom_major_ratio:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> 'elem__) -> custom_minor_ratio:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> 'elem__) -> custom_minor_max_size:((t, Core_kernel__.Import.int) Fieldslib.Field.t -> 'elem__) -> 'elem__ Core_kernel__.Import.listval map_poly : ([< `Read | `Set_and_create ], t, 'x0) Fieldslib.Field.user -> 'x0 Core_kernel__.Import.list