Mavryk_benchmarks_proto_alpha.Carbonated_map_benchmarks
val ns : Mavryk_benchmark.Namespace.cons
val fv : string -> Mavryk_benchmark.Free_variable.t
val group : Benchmarks_proto.Benchmark.group
module Config_and_workload : sig ... end
module Alpha_context_gas : sig ... end
Benchmarks the fold
functions of Carbonated_map
. This benchmark does not depend on the size of the keys or types of elements.
module type COMPARABLE_SAMPLER = sig ... end
Module type that consists of a comparable type along with a sampler function.
module Make (CS : COMPARABLE_SAMPLER) : sig ... end
Functor for constructing a benchmark for the cost of comparing values. This functor can be used to generate compare_cost
data for a particular key-type for Carbonated_map
instances.
module Int : sig ... end
A comparable and a sampler for int
values.
module Benchmarks_int : sig ... end