Mavryk_benchmarks_proto_001_PtAtLas.Skip_list_benchmarksThis module provides benchmarks for skip list operations for basis = 4.
module Skip_list : sig ... endval ns : Mavryk_benchmark.Namespace.consval fv : string -> Mavryk_benchmark.Free_variable.tmodule Next : Benchmarks_proto.Benchmark.SBenchmark for the Skip_list_repr.next function. It is used for estimating the parameters for Skip_list_cost_model.model_next.
module Hash_cell : Benchmarks_proto.Benchmark.SBenchmark for the Sc_rollup_inbox_repr.hash_skip_list_cell function. It is used for estimating the parameters for Skip_list_cost_model.model_hash_cell. The model estimates hashing a skip_list cell content and all its back pointers.