package tezos-011-PtHangz2-test-helpers

  1. Overview
  2. Docs
val z_gen : Z.t QCheck.Gen.t
val micheline_node_gen : 'l QCheck.Gen.t -> 'p QCheck.Gen.t -> Tezos_micheline.Micheline.annot QCheck.Gen.t -> ('l, 'p) Tezos_micheline.Micheline.node QCheck.Gen.t
val micheline_gen : 'a QCheck.Gen.t -> Tezos_micheline.Micheline.annot QCheck.Gen.t -> 'a Tezos_micheline.Micheline.canonical QCheck.Gen.t
val canonical_without_constant_gen : Tezos_protocol_011_PtHangz2.Protocol.Michelson_v1_primitives.prim Tezos_micheline.Micheline.canonical QCheck.Gen.t
val canonical_without_constant_arbitrary : Tezos_protocol_011_PtHangz2.Protocol.Michelson_v1_primitives.prim Tezos_micheline.Micheline.canonical QCheck.arbitrary
val canonical_with_constant_gen : (Tezos_protocol_011_PtHangz2.Protocol.Michelson_v1_primitives.prim Tezos_micheline.Micheline.canonical * Tezos_protocol_011_PtHangz2.Protocol.Alpha_context.Script.prim Tezos_micheline.Micheline.canonical * Tezos_protocol_011_PtHangz2.Protocol.Alpha_context.Script.prim Tezos_micheline.Micheline.canonical) QCheck.Gen.t
val canonical_with_constant_arbitrary : (Tezos_protocol_011_PtHangz2.Protocol.Michelson_v1_primitives.prim Tezos_micheline.Micheline.canonical * Tezos_protocol_011_PtHangz2.Protocol.Alpha_context.Script.prim Tezos_micheline.Micheline.canonical * Tezos_protocol_011_PtHangz2.Protocol.Alpha_context.Script.prim Tezos_micheline.Micheline.canonical) QCheck.arbitrary