Expr_common (mavkit-protocol-001-PtAtLas-libs.Mavryk_001_PtAtLas_test_helpers.Expr

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

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

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

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

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

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

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

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

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

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

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

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

val mumav : 
  ?loc:int ->
  Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.mav ->
  (int, 'a) Mavryk_micheline.Micheline.node

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

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

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

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

val timestamp_of_zint : 
  Mavryk_protocol_environment_001_PtAtLas.Z.t ->
  Mavryk_protocol_001_PtAtLas.Protocol.Script_timestamp.t

val public_key_of_bytes_exn : 
  Stdlib.Bytes.t ->
  Mavryk_base.TzPervasives.Signature.Public_key.t

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

type exn +=

| Invalid_address_expr of string

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

val originated_of_string_exn : 
  string ->
  Mavryk_raw_protocol_001_PtAtLas.Contract_hash.t