tezos-012-Psithaca-test-helpers 12.3

val context_arbitrary : 
  unit ->
  Tezos_protocol_012_Psithaca.Protocol.Alpha_context.t QCheck.arbitrary

val prims : 
  Tezos_protocol_012_Psithaca.Protocol.Michelson_v1_primitives.prim list

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

val prims_without_constants_gen : 
  Tezos_protocol_012_Psithaca.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_012_Psithaca.Protocol.Alpha_context.Script.node ->
  Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Script.location ->
  Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Script.node
  * Tezos_protocol_012_Psithaca.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 : 
  unit ->
  Tezos_protocol_012_Psithaca.Protocol.Michelson_v1_primitives.prim
    Tezos_micheline.Micheline.canonical
    QCheck.Gen.t

val canonical_without_constant_arbitrary : 
  unit ->
  Tezos_protocol_012_Psithaca.Protocol.Michelson_v1_primitives.prim
    Tezos_micheline.Micheline.canonical
    QCheck.arbitrary

val canonical_with_constant_gen : 
  unit ->
  (Tezos_protocol_012_Psithaca.Protocol.Michelson_v1_primitives.prim
     Tezos_micheline.Micheline.canonical
   * Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Script.prim
       Tezos_micheline.Micheline.canonical
   * Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Script.prim
       Tezos_micheline.Micheline.canonical)
    QCheck.Gen.t

val canonical_with_constant_arbitrary : 
  unit ->
  (Tezos_protocol_012_Psithaca.Protocol.Michelson_v1_primitives.prim
     Tezos_micheline.Micheline.canonical
   * Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Script.prim
       Tezos_micheline.Micheline.canonical
   * Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Script.prim
       Tezos_micheline.Micheline.canonical)
    QCheck.arbitrary

package tezos-012-Psithaca-test-helpers