Module Micheline_sampler.Make

Make instantiates a micheline sampler.

Parameters

module P : Base_samplers

Signature

type prim = P.prim

sample w is a Micheline sampler for the prescribed primitive type. The sampler uses the provided width function w.