val names : Core_kernel__.Import.string Core_kernel__.Import.list
val window_size : (t, Core_kernel__.Import.int) Fieldslib.Field.t
val allocation_policy : (t, Core_kernel__.Import.int) Fieldslib.Field.t
val stack_limit : (t, Core_kernel__.Import.int) Fieldslib.Field.t
val max_overhead : (t, Core_kernel__.Import.int) Fieldslib.Field.t
val verbose : (t, Core_kernel__.Import.int) Fieldslib.Field.t
val space_overhead : (t, Core_kernel__.Import.int) Fieldslib.Field.t
val major_heap_increment : (t, Core_kernel__.Import.int) Fieldslib.Field.t
val minor_heap_size : (t, Core_kernel__.Import.int) Fieldslib.Field.t
val 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) ‑> 'acc__8
val 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) ‑> '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:((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) ‑> t
val 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) ‑> Core_kernel__.Import.unit
val 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) ‑> Core_kernel__.Import.bool
val 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) ‑> Core_kernel__.Import.bool
val 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__) ‑> 'elem__ Core_kernel__.Import.list
val map_poly : ([< `Read | `Set_and_create ], t, 'x0) Fieldslib.Field.user ‑> 'x0 Core_kernel__.Import.list
module Direct : sig ... end