Michelson_v1_helpers (p.octez-protocol-alpha-libs.19.1.doc.octez-protocol-alpha-libs.client.Tezos_client_alpha.Michelson_v1

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

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

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

Source

val unit_t : 
  loc:'a ->
  ('a, Tezos_protocol_alpha.Protocol.Alpha_context.Script.prim)
    Tezos_micheline.Micheline.node

Source

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

Source

val lambda_from_string : 
  string ->
  ((Tezos_micheline.Micheline.canonical_location,
     Tezos_protocol_alpha.Protocol.Michelson_v1_primitives.prim)
     Tezos_micheline.Micheline.node,
    Tezos_error_monad.Error_monad.tztrace)
    result

Source

val lambda_t : 
  loc:'a ->
  ('a, Tezos_protocol_alpha.Protocol.Alpha_context.Script.prim)
    Tezos_micheline.Micheline.node ->
  ('a, Tezos_protocol_alpha.Protocol.Alpha_context.Script.prim)
    Tezos_micheline.Micheline.node ->
  ('a, Tezos_protocol_alpha.Protocol.Alpha_context.Script.prim)
    Tezos_micheline.Micheline.node

Source

val operation_t : 
  loc:'a ->
  ('a, Tezos_protocol_alpha.Protocol.Alpha_context.Script.prim)
    Tezos_micheline.Micheline.node

Source

val operations_t : 
  loc:'a ->
  ('a, Tezos_protocol_alpha.Protocol.Alpha_context.Script.prim)
    Tezos_micheline.Micheline.node