Module `Tezos_benchmarks_proto_025_PsUshuai.Benchmarks_proto`

module Benchmark_base = Tezos_benchmark.Benchmark

module Benchmark : sig ... end

module Registration : sig ... end

module Model : sig ... end