Make.Random_value
Samplers for random Michelson values. Restrictions apply on the supported types as listed at the beginning of this file.
val value :
('a, _) Mavryk_protocol_alpha.Protocol.Script_typed_ir.ty ->
'a Mavryk_benchmark.Base_samplers.sampler
Sample a value given its type.
val comparable :
'a Mavryk_protocol_alpha.Protocol.Script_typed_ir.comparable_ty ->
'a Mavryk_benchmark.Base_samplers.sampler
Sample a comparable value given its type.
val stack :
('a, 'b) Mavryk_protocol_alpha.Protocol.Script_typed_ir.stack_ty ->
('a * 'b) Mavryk_benchmark.Base_samplers.sampler
Sample a stack given its type.