val iter : t ‑> minor_heap_size:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.unit) ‑> major_heap_increment:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.unit) ‑> space_overhead:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.unit) ‑> verbose:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.unit) ‑> max_overhead:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.unit) ‑> stack_limit:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.unit) ‑> allocation_policy:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.unit) ‑> window_size:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.unit) ‑> Core_kernel__.Import.unit
val fold : t ‑> init:'acc__0 ‑> minor_heap_size:('acc__0 ‑> (t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> 'acc__1) ‑> major_heap_increment:('acc__1 ‑> (t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> 'acc__2) ‑> space_overhead:('acc__2 ‑> (t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> 'acc__3) ‑> verbose:('acc__3 ‑> (t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> 'acc__4) ‑> max_overhead:('acc__4 ‑> (t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> 'acc__5) ‑> stack_limit:('acc__5 ‑> (t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> 'acc__6) ‑> allocation_policy:('acc__6 ‑> (t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> 'acc__7) ‑> window_size:('acc__7 ‑> (t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> 'acc__8) ‑> 'acc__8
val for_all : t ‑> minor_heap_size:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.bool) ‑> major_heap_increment:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.bool) ‑> space_overhead:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.bool) ‑> verbose:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.bool) ‑> max_overhead:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.bool) ‑> stack_limit:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.bool) ‑> allocation_policy:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.bool) ‑> window_size:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.bool) ‑> Core_kernel__.Import.bool
val exists : t ‑> minor_heap_size:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.bool) ‑> major_heap_increment:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.bool) ‑> space_overhead:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.bool) ‑> verbose:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.bool) ‑> max_overhead:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.bool) ‑> stack_limit:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.bool) ‑> allocation_policy:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.bool) ‑> window_size:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.bool) ‑> Core_kernel__.Import.bool
val to_list : t ‑> minor_heap_size:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> 'elem__) ‑> major_heap_increment:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> 'elem__) ‑> space_overhead:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> 'elem__) ‑> verbose:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> 'elem__) ‑> max_overhead:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> 'elem__) ‑> stack_limit:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> 'elem__) ‑> allocation_policy:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> 'elem__) ‑> window_size:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> 'elem__) ‑> 'elem__ Core_kernel__.Import.list
val map : t ‑> minor_heap_size:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.int) ‑> major_heap_increment:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.int) ‑> space_overhead:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.int) ‑> verbose:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.int) ‑> max_overhead:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.int) ‑> stack_limit:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.int) ‑> allocation_policy:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.int) ‑> window_size:((t, Core_kernel__.Import.int) Fieldslib.Field.t ‑> t ‑> Core_kernel__.Import.int ‑> Core_kernel__.Import.int) ‑> t
val set_all_mutable_fields : t ‑> 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 ‑> Core_kernel__.Import.unit