package core_kernel

  1. Overview
  2. Docs
package core_kernel
Legend:
Library
Module
Module type
Parameter
Class
Class type
val custom_minor_max_size : (t, Base.Int.t) Fieldslib.Field.t
val custom_minor_ratio : (t, Base.Int.t) Fieldslib.Field.t
val custom_major_ratio : (t, Base.Int.t) Fieldslib.Field.t
val window_size : (t, Base.Int.t) Fieldslib.Field.t
val allocation_policy : (t, Base.Int.t) Fieldslib.Field.t
val stack_limit : (t, Base.Int.t) Fieldslib.Field.t
val max_overhead : (t, Base.Int.t) Fieldslib.Field.t
val verbose : (t, Base.Int.t) Fieldslib.Field.t
val space_overhead : (t, Base.Int.t) Fieldslib.Field.t
val major_heap_increment : (t, Base.Int.t) Fieldslib.Field.t
val minor_heap_size : (t, Base.Int.t) Fieldslib.Field.t
val fold : init:'acc__0 -> minor_heap_size:('acc__0 -> (t, Base.Int.t) Fieldslib.Field.t -> 'acc__1) -> major_heap_increment: ('acc__1 -> (t, Base.Int.t) Fieldslib.Field.t -> 'acc__2) -> space_overhead:('acc__2 -> (t, Base.Int.t) Fieldslib.Field.t -> 'acc__3) -> verbose:('acc__3 -> (t, Base.Int.t) Fieldslib.Field.t -> 'acc__4) -> max_overhead:('acc__4 -> (t, Base.Int.t) Fieldslib.Field.t -> 'acc__5) -> stack_limit:('acc__5 -> (t, Base.Int.t) Fieldslib.Field.t -> 'acc__6) -> allocation_policy:('acc__6 -> (t, Base.Int.t) Fieldslib.Field.t -> 'acc__7) -> window_size:('acc__7 -> (t, Base.Int.t) Fieldslib.Field.t -> 'acc__8) -> custom_major_ratio:('acc__8 -> (t, Base.Int.t) Fieldslib.Field.t -> 'acc__9) -> custom_minor_ratio:('acc__9 -> (t, Base.Int.t) Fieldslib.Field.t -> 'acc__10) -> custom_minor_max_size: ('acc__10 -> (t, Base.Int.t) Fieldslib.Field.t -> 'acc__11) -> 'acc__11
val make_creator : minor_heap_size: ((t, Base.Int.t) Fieldslib.Field.t -> 'acc__0 -> ('input__ -> Base.Int.t) * 'acc__1) -> major_heap_increment: ((t, Base.Int.t) Fieldslib.Field.t -> 'acc__1 -> ('input__ -> Base.Int.t) * 'acc__2) -> space_overhead: ((t, Base.Int.t) Fieldslib.Field.t -> 'acc__2 -> ('input__ -> Base.Int.t) * 'acc__3) -> verbose: ((t, Base.Int.t) Fieldslib.Field.t -> 'acc__3 -> ('input__ -> Base.Int.t) * 'acc__4) -> max_overhead: ((t, Base.Int.t) Fieldslib.Field.t -> 'acc__4 -> ('input__ -> Base.Int.t) * 'acc__5) -> stack_limit: ((t, Base.Int.t) Fieldslib.Field.t -> 'acc__5 -> ('input__ -> Base.Int.t) * 'acc__6) -> allocation_policy: ((t, Base.Int.t) Fieldslib.Field.t -> 'acc__6 -> ('input__ -> Base.Int.t) * 'acc__7) -> window_size: ((t, Base.Int.t) Fieldslib.Field.t -> 'acc__7 -> ('input__ -> Base.Int.t) * 'acc__8) -> custom_major_ratio: ((t, Base.Int.t) Fieldslib.Field.t -> 'acc__8 -> ('input__ -> Base.Int.t) * 'acc__9) -> custom_minor_ratio: ((t, Base.Int.t) Fieldslib.Field.t -> 'acc__9 -> ('input__ -> Base.Int.t) * 'acc__10) -> custom_minor_max_size: ((t, Base.Int.t) Fieldslib.Field.t -> 'acc__10 -> ('input__ -> Base.Int.t) * 'acc__11) -> 'acc__0 -> ('input__ -> t) * 'acc__11
val create : minor_heap_size:Base.Int.t -> major_heap_increment:Base.Int.t -> space_overhead:Base.Int.t -> verbose:Base.Int.t -> max_overhead:Base.Int.t -> stack_limit:Base.Int.t -> allocation_policy:Base.Int.t -> window_size:Base.Int.t -> custom_major_ratio:Base.Int.t -> custom_minor_ratio:Base.Int.t -> custom_minor_max_size:Base.Int.t -> t
val map : minor_heap_size:((t, Base.Int.t) Fieldslib.Field.t -> Base.Int.t) -> major_heap_increment:((t, Base.Int.t) Fieldslib.Field.t -> Base.Int.t) -> space_overhead:((t, Base.Int.t) Fieldslib.Field.t -> Base.Int.t) -> verbose:((t, Base.Int.t) Fieldslib.Field.t -> Base.Int.t) -> max_overhead:((t, Base.Int.t) Fieldslib.Field.t -> Base.Int.t) -> stack_limit:((t, Base.Int.t) Fieldslib.Field.t -> Base.Int.t) -> allocation_policy:((t, Base.Int.t) Fieldslib.Field.t -> Base.Int.t) -> window_size:((t, Base.Int.t) Fieldslib.Field.t -> Base.Int.t) -> custom_major_ratio:((t, Base.Int.t) Fieldslib.Field.t -> Base.Int.t) -> custom_minor_ratio:((t, Base.Int.t) Fieldslib.Field.t -> Base.Int.t) -> custom_minor_max_size:((t, Base.Int.t) Fieldslib.Field.t -> Base.Int.t) -> t
val iter : minor_heap_size:((t, Base.Int.t) Fieldslib.Field.t -> Base.Unit.t) -> major_heap_increment:((t, Base.Int.t) Fieldslib.Field.t -> Base.Unit.t) -> space_overhead:((t, Base.Int.t) Fieldslib.Field.t -> Base.Unit.t) -> verbose:((t, Base.Int.t) Fieldslib.Field.t -> Base.Unit.t) -> max_overhead:((t, Base.Int.t) Fieldslib.Field.t -> Base.Unit.t) -> stack_limit:((t, Base.Int.t) Fieldslib.Field.t -> Base.Unit.t) -> allocation_policy:((t, Base.Int.t) Fieldslib.Field.t -> Base.Unit.t) -> window_size:((t, Base.Int.t) Fieldslib.Field.t -> Base.Unit.t) -> custom_major_ratio:((t, Base.Int.t) Fieldslib.Field.t -> Base.Unit.t) -> custom_minor_ratio:((t, Base.Int.t) Fieldslib.Field.t -> Base.Unit.t) -> custom_minor_max_size:((t, Base.Int.t) Fieldslib.Field.t -> Base.Unit.t) -> Base.Unit.t
val for_all : minor_heap_size:((t, Base.Int.t) Fieldslib.Field.t -> Base.Bool.t) -> major_heap_increment:((t, Base.Int.t) Fieldslib.Field.t -> Base.Bool.t) -> space_overhead:((t, Base.Int.t) Fieldslib.Field.t -> Base.Bool.t) -> verbose:((t, Base.Int.t) Fieldslib.Field.t -> Base.Bool.t) -> max_overhead:((t, Base.Int.t) Fieldslib.Field.t -> Base.Bool.t) -> stack_limit:((t, Base.Int.t) Fieldslib.Field.t -> Base.Bool.t) -> allocation_policy:((t, Base.Int.t) Fieldslib.Field.t -> Base.Bool.t) -> window_size:((t, Base.Int.t) Fieldslib.Field.t -> Base.Bool.t) -> custom_major_ratio:((t, Base.Int.t) Fieldslib.Field.t -> Base.Bool.t) -> custom_minor_ratio:((t, Base.Int.t) Fieldslib.Field.t -> Base.Bool.t) -> custom_minor_max_size:((t, Base.Int.t) Fieldslib.Field.t -> Base.Bool.t) -> Base.Bool.t
val exists : minor_heap_size:((t, Base.Int.t) Fieldslib.Field.t -> Base.Bool.t) -> major_heap_increment:((t, Base.Int.t) Fieldslib.Field.t -> Base.Bool.t) -> space_overhead:((t, Base.Int.t) Fieldslib.Field.t -> Base.Bool.t) -> verbose:((t, Base.Int.t) Fieldslib.Field.t -> Base.Bool.t) -> max_overhead:((t, Base.Int.t) Fieldslib.Field.t -> Base.Bool.t) -> stack_limit:((t, Base.Int.t) Fieldslib.Field.t -> Base.Bool.t) -> allocation_policy:((t, Base.Int.t) Fieldslib.Field.t -> Base.Bool.t) -> window_size:((t, Base.Int.t) Fieldslib.Field.t -> Base.Bool.t) -> custom_major_ratio:((t, Base.Int.t) Fieldslib.Field.t -> Base.Bool.t) -> custom_minor_ratio:((t, Base.Int.t) Fieldslib.Field.t -> Base.Bool.t) -> custom_minor_max_size:((t, Base.Int.t) Fieldslib.Field.t -> Base.Bool.t) -> Base.Bool.t
val to_list : minor_heap_size:((t, Base.Int.t) Fieldslib.Field.t -> 'elem__) -> major_heap_increment:((t, Base.Int.t) Fieldslib.Field.t -> 'elem__) -> space_overhead:((t, Base.Int.t) Fieldslib.Field.t -> 'elem__) -> verbose:((t, Base.Int.t) Fieldslib.Field.t -> 'elem__) -> max_overhead:((t, Base.Int.t) Fieldslib.Field.t -> 'elem__) -> stack_limit:((t, Base.Int.t) Fieldslib.Field.t -> 'elem__) -> allocation_policy:((t, Base.Int.t) Fieldslib.Field.t -> 'elem__) -> window_size:((t, Base.Int.t) Fieldslib.Field.t -> 'elem__) -> custom_major_ratio:((t, Base.Int.t) Fieldslib.Field.t -> 'elem__) -> custom_minor_ratio:((t, Base.Int.t) Fieldslib.Field.t -> 'elem__) -> custom_minor_max_size:((t, Base.Int.t) Fieldslib.Field.t -> 'elem__) -> 'elem__ Base.List.t
val map_poly : ([< `Read | `Set_and_create ], t, 'x0) Fieldslib.Field.user -> 'x0 Base.List.t
module Direct : sig ... end