package octez-protocol-alpha-libs

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

val context_gen : 
  unit ->
  Tezos_protocol_alpha.Protocol.Alpha_context.t QCheck2.Gen.t

val prims : Tezos_protocol_alpha.Protocol.Michelson_v1_primitives.prim list

val prim_gen : 
  Tezos_protocol_alpha.Protocol.Michelson_v1_primitives.prim QCheck2.Gen.t

val prims_without_constants_gen : 
  Tezos_protocol_alpha.Protocol.Michelson_v1_primitives.prim QCheck2.Gen.t

val z_gen : Z.t QCheck2.Gen.t

val micheline_node_gen : 
  'l QCheck2.Gen.t ->
  'p QCheck2.Gen.t ->
  Tezos_micheline.Micheline.annot QCheck2.Gen.t ->
  ('l0, 'p0) Tezos_micheline.Micheline.node QCheck2.Gen.t

val replace_with_constant : 
  Tezos_protocol_alpha.Protocol.Alpha_context.Script.node ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Script.location ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Script.node
  * Tezos_protocol_alpha.Protocol.Alpha_context.Script.node option

val micheline_gen : 
  'a QCheck2.Gen.t ->
  Tezos_micheline.Micheline.annot QCheck2.Gen.t ->
  'b Tezos_micheline.Micheline.canonical QCheck2.Gen.t

val canonical_without_constant_gen : 
  unit ->
  Tezos_protocol_alpha.Protocol.Michelson_v1_primitives.prim
    Tezos_micheline.Micheline.canonical
    QCheck2.Gen.t

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