Mavryk_benchmark_examples.Blake2b
val ns : Mavryk_benchmark.Namespace.cons
val fv : string -> Mavryk_benchmark.Free_variable.t
val name : Mavryk_benchmark.Namespace.t
val model_blake2b : (int * unit) Mavryk_benchmark.Model.model
module Blake2b_bench : Mavryk_benchmark.Benchmark.S