The type of samplers. Samplers should be deterministic in their input. Note that a value of type Random.State.t is mutable and can be updated destructively at each call of the sampler.
val range_encoding : range Tezos_base.TzPervasives.Data_encoding.tsample_in_interval ~range creates a sampler in the specified interval.
val sample_float_in_interval : min:float -> max:float -> float samplersample_float_in_interval ~min ~max creates a sampler in the specified interval.
val uniform_bool : bool samplerSamples a boolean uniformly at random
val uniform_byte : char samplerSample a byte uniformly at random
val uniform_partial_byte : nbits:int -> char samplerSamples the specified number of bits uniformly at random. The sampled bits are the nbits least significant ones in the returned char.
val uniform_string : nbytes:int -> string samplerSamples a string of length nbytes uniformly at random.
val uniform_bytes : nbytes:int -> bytes samplerSamples bytes of length nbytes uniformly at random.
val uniform_nat : nbytes:int -> Z.t samplerSamples a non-negative big integer stored on nbytes bytes, uniformly at random (modulo trailing zeroes).
val uniform_int : nbytes:int -> Z.t samplerSamples a big integer stored on nbytes bytes, uniformly at random (modulo trailing zeroes).
Samples a size in bytes uniformly in size and then samples a uniform non-negative big integer of this size.
Samples a size in bytes uniformly in size and then samples a uniform big integer of this size.
val uniform_readable_ascii : char samplerSamples a readable character.
Samples a readable string with length sampled uniformly in size.
module Adversarial : sig ... endSampling of "adversarial" values in the sense that they exhibit the worst-case performance of the usual comparison functions.