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