Tezos_benchmarks_proto_025_PsUshuai.Dal_benchmarks
val ns : Tezos_benchmark.Namespace.cons
val fv : string -> Tezos_benchmark.Free_variable.t
module Publish_commitment : Tezos_benchmark.Benchmark.S