Mavryk_benchmarks_proto_001_PtAtLas.Carbonated_map_benchmarksval ns : Mavryk_benchmark.Namespace.consval fv : string -> Mavryk_benchmark.Free_variable.tval group : Benchmarks_proto.Benchmark.groupmodule Config_and_workload : sig ... endmodule Alpha_context_gas : sig ... endBenchmarks 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 ... endModule type that consists of a comparable type along with a sampler function.
module Make (CS : COMPARABLE_SAMPLER) : sig ... endFunctor 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 ... endA comparable and a sampler for int values.
module Benchmarks_int : sig ... end