Expr_common (p.octez-protocol-alpha-libs.18.1.doc.octez-protocol-alpha-libs.test-helpers.Tezos_alpha_test_helpers.Expr

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

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

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

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

val public_key_of_bytes_exn : 
  Bytes.t ->
  Tezos_base.TzPervasives.Signature.Public_key.t

Source

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

Sourcetype exn +=

| Invalid_address_expr of string

Source

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

Source

val originated_of_string_exn : 
  string ->
  Tezos_raw_protocol_alpha.Contract_hash.t