Expr_common (octez-protocol-alpha-libs.Tezos_alpha_test_helpers.Expr

val seq : 
  ?loc:int ->
  (int, 'a) Tezos_micheline.Micheline.node list ->
  (int, 'a) Tezos_micheline.Micheline.node

val pair : 
  ?loc:int ->
  (int, Tezos_protocol_alpha.Protocol.Alpha_context.Script.prim)
    Tezos_micheline.Micheline.node ->
  (int, Tezos_protocol_alpha.Protocol.Alpha_context.Script.prim)
    Tezos_micheline.Micheline.node ->
  (int, Tezos_protocol_alpha.Protocol.Alpha_context.Script.prim)
    Tezos_micheline.Micheline.node

val pair_n : 
  ?loc:int ->
  (int, Tezos_protocol_alpha.Protocol.Alpha_context.Script.prim)
    Tezos_micheline.Micheline.node
    list ->
  (int, Tezos_protocol_alpha.Protocol.Alpha_context.Script.prim)
    Tezos_micheline.Micheline.node

val comb : 
  ?loc:int ->
  (int, Tezos_protocol_alpha.Protocol.Alpha_context.Script.prim)
    Tezos_micheline.Micheline.node
    list ->
  (int, Tezos_protocol_alpha.Protocol.Alpha_context.Script.prim)
    Tezos_micheline.Micheline.node

val none : 
  ?loc:int ->
  unit ->
  (int, Tezos_protocol_alpha.Protocol.Alpha_context.Script.prim)
    Tezos_micheline.Micheline.node

val some : 
  ?loc:int ->
  (int, Tezos_protocol_alpha.Protocol.Alpha_context.Script.prim)
    Tezos_micheline.Micheline.node ->
  (int, Tezos_protocol_alpha.Protocol.Alpha_context.Script.prim)
    Tezos_micheline.Micheline.node

val left : 
  ?loc:int ->
  (int, Tezos_protocol_alpha.Protocol.Alpha_context.Script.prim)
    Tezos_micheline.Micheline.node ->
  (int, Tezos_protocol_alpha.Protocol.Alpha_context.Script.prim)
    Tezos_micheline.Micheline.node

val right : 
  ?loc:int ->
  (int, Tezos_protocol_alpha.Protocol.Alpha_context.Script.prim)
    Tezos_micheline.Micheline.node ->
  (int, Tezos_protocol_alpha.Protocol.Alpha_context.Script.prim)
    Tezos_micheline.Micheline.node

val unit : 
  ?loc:int ->
  unit ->
  (int, Tezos_protocol_alpha.Protocol.Alpha_context.Script.prim)
    Tezos_micheline.Micheline.node

val int : ?loc:int -> Z.t -> (int, 'a) Tezos_micheline.Micheline.node

val bytes : 
  ?loc:int ->
  Stdlib.Bytes.t ->
  (int, 'a) Tezos_micheline.Micheline.node

val string : ?loc:int -> string -> (int, 'a) Tezos_micheline.Micheline.node

val mutez : 
  ?loc:int ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Tez.t ->
  (int, 'a) Tezos_micheline.Micheline.node

val timestamp : 
  ?loc:int ->
  Tezos_protocol_alpha.Protocol.Script_timestamp.t ->
  (int, 'a) Tezos_micheline.Micheline.node

val address : 
  ?loc:int ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t ->
  (int, 'a) Tezos_micheline.Micheline.node

val address_string : 
  ?loc:int ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t ->
  (int, 'a) Tezos_micheline.Micheline.node

val big_map_id : 
  ?loc:int ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Big_map.Id.t ->
  (int, 'a) Tezos_micheline.Micheline.node

val timestamp_of_zint : 
  Tezos_protocol_environment_alpha.Z.t ->
  Tezos_protocol_alpha.Protocol.Script_timestamp.t

val public_key_of_bytes_exn : 
  Stdlib.Bytes.t ->
  Tezos_alpha_test_helpers.Signature.Public_key.t

val address_of_bytes_exn : 
  Stdlib.Bytes.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t

type exn +=

| Invalid_address_expr of string

val address_of_string_exn : 
  string ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t

val originated_of_string_exn : 
  string ->
  Tezos_raw_protocol_alpha.Contract_hash.t