Module Michelson_generation.Samplers

Samplers is an instance of the direct-style (non-MCMC based) samplers implemented in Mavryk_benchmark_alpha.Michelson_samplers.

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.