package core_bench

  1. Overview
  2. Docs
val names : string list
val fork_each_benchmark : ([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm
val stabilize_gc_between_runs : ([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm
val sampling_type : ([< `Read | `Set_and_create ], t, [ `Geometric of float | `Linear of int ]) Fieldslib.Field.t_with_perm
val time_quota : ([< `Read | `Set_and_create ], t, Core.Time.Span.t) Fieldslib.Field.t_with_perm
val no_compactions : ([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm
val verbosity : ([< `Read | `Set_and_create ], t, Verbosity.t) Fieldslib.Field.t_with_perm
val make_creator : verbosity: (([< `Read | `Set_and_create ], t, Verbosity.t) Fieldslib.Field.t_with_perm -> 'a -> ('b -> Verbosity.t) * 'c) -> no_compactions: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'c -> ('b -> bool) * 'd) -> time_quota: (([< `Read | `Set_and_create ], t, Core.Time.Span.t) Fieldslib.Field.t_with_perm -> 'd -> ('b -> Core.Time.Span.t) * 'e) -> sampling_type: (([< `Read | `Set_and_create ], t, [ `Geometric of float | `Linear of int ]) Fieldslib.Field.t_with_perm -> 'e -> ('b -> [ `Geometric of float | `Linear of int ]) * 'f) -> stabilize_gc_between_runs: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'f -> ('b -> bool) * 'g) -> fork_each_benchmark: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'g -> ('b -> bool) * 'h) -> 'a -> ('b -> t) * 'h
val create : verbosity:Verbosity.t -> no_compactions:bool -> time_quota:Core.Time.Span.t -> sampling_type:[ `Geometric of float | `Linear of int ] -> stabilize_gc_between_runs:bool -> fork_each_benchmark:bool -> t
val map : verbosity: (([< `Read | `Set_and_create ], t, Verbosity.t) Fieldslib.Field.t_with_perm -> Verbosity.t) -> no_compactions: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> time_quota: (([< `Read | `Set_and_create ], t, Core.Time.Span.t) Fieldslib.Field.t_with_perm -> Core.Time.Span.t) -> sampling_type: (([< `Read | `Set_and_create ], t, [ `Geometric of float | `Linear of int ]) Fieldslib.Field.t_with_perm -> [ `Geometric of float | `Linear of int ]) -> stabilize_gc_between_runs: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> fork_each_benchmark: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> t
val iter : verbosity: (([< `Read | `Set_and_create ], t, Verbosity.t) Fieldslib.Field.t_with_perm -> unit) -> no_compactions: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> unit) -> time_quota: (([< `Read | `Set_and_create ], t, Core.Time.Span.t) Fieldslib.Field.t_with_perm -> unit) -> sampling_type: (([< `Read | `Set_and_create ], t, [ `Geometric of float | `Linear of int ]) Fieldslib.Field.t_with_perm -> unit) -> stabilize_gc_between_runs: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> unit) -> fork_each_benchmark: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> unit) -> unit
val fold : init:'a -> verbosity: ('a -> ([< `Read | `Set_and_create ], t, Verbosity.t) Fieldslib.Field.t_with_perm -> 'b) -> no_compactions: ('b -> ([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'c) -> time_quota: ('c -> ([< `Read | `Set_and_create ], t, Core.Time.Span.t) Fieldslib.Field.t_with_perm -> 'd) -> sampling_type: ('d -> ([< `Read | `Set_and_create ], t, [ `Geometric of float | `Linear of int ]) Fieldslib.Field.t_with_perm -> 'e) -> stabilize_gc_between_runs: ('e -> ([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'f) -> fork_each_benchmark: ('f -> ([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'g) -> 'g
val map_poly : ([< `Read | `Set_and_create ], t, 'a) Fieldslib.Field.user -> 'a list
val for_all : verbosity: (([< `Read | `Set_and_create ], t, Verbosity.t) Fieldslib.Field.t_with_perm -> bool) -> no_compactions: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> time_quota: (([< `Read | `Set_and_create ], t, Core.Time.Span.t) Fieldslib.Field.t_with_perm -> bool) -> sampling_type: (([< `Read | `Set_and_create ], t, [ `Geometric of float | `Linear of int ]) Fieldslib.Field.t_with_perm -> bool) -> stabilize_gc_between_runs: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> fork_each_benchmark: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> bool
val exists : verbosity: (([< `Read | `Set_and_create ], t, Verbosity.t) Fieldslib.Field.t_with_perm -> bool) -> no_compactions: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> time_quota: (([< `Read | `Set_and_create ], t, Core.Time.Span.t) Fieldslib.Field.t_with_perm -> bool) -> sampling_type: (([< `Read | `Set_and_create ], t, [ `Geometric of float | `Linear of int ]) Fieldslib.Field.t_with_perm -> bool) -> stabilize_gc_between_runs: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> fork_each_benchmark: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> bool
val to_list : verbosity: (([< `Read | `Set_and_create ], t, Verbosity.t) Fieldslib.Field.t_with_perm -> 'a) -> no_compactions: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'a) -> time_quota: (([< `Read | `Set_and_create ], t, Core.Time.Span.t) Fieldslib.Field.t_with_perm -> 'a) -> sampling_type: (([< `Read | `Set_and_create ], t, [ `Geometric of float | `Linear of int ]) Fieldslib.Field.t_with_perm -> 'a) -> stabilize_gc_between_runs: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'a) -> fork_each_benchmark: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'a) -> 'a list
module Direct : sig ... end