Make (mavryk-benchmark-001-PtAtLas.Mavryk_benchmark_001_PtAtLas.Michelson

Parameters

module P : sig ... end

module Crypto_samplers : Mavryk_benchmark.Crypto_samplers.Finite_key_pool_S

module Michelson_base : Michelson_samplers_base.S

Basic Michelson samplers, re-exported for convenience by the functor.

module Random_type : sig ... end

Samplers for random Michelson types.

module Random_value : sig ... end

Samplers for random Michelson values. Restrictions apply on the supported types as listed at the beginning of this file.