Michelson_samplers.MakeInstantiate a module of type S.
module P : sig ... endmodule Michelson_base : Michelson_samplers_base.SBasic Michelson samplers, re-exported for convenience by the functor.
module Random_type : sig ... endSamplers for random Michelson types.
module Random_value : sig ... endSamplers for random Michelson values. Restrictions apply on the supported types as listed at the beginning of this file.