tezos-011-PtHangz2-test-helpers 12.3 (latest)

val context_arbitrary : 
  Tezos_protocol_011_PtHangz2.Protocol.Alpha_context.t QCheck.arbitrary

val prims : 
  Tezos_protocol_011_PtHangz2.Protocol.Michelson_v1_primitives.prim list

val prim_gen : 
  Tezos_protocol_011_PtHangz2.Protocol.Michelson_v1_primitives.prim
    QCheck.Gen.t

val prims_without_constants_gen : 
  Tezos_protocol_011_PtHangz2.Protocol.Michelson_v1_primitives.prim
    QCheck.Gen.t

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 replace_with_constant : 
  Tezos_protocol_011_PtHangz2.Protocol.Alpha_context.Script.node ->
  Tezos_protocol_011_PtHangz2.Protocol.Alpha_context.Script.location ->
  Tezos_protocol_011_PtHangz2.Protocol.Alpha_context.Script.node
  * Tezos_protocol_011_PtHangz2.Protocol.Alpha_context.Script.node option

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

package tezos-011-PtHangz2-test-helpers