Michelson_v1_helpers (octez-protocol-alpha-libs.Tezos_client_alpha.Michelson_v1

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

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

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

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

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

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

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

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

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

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

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)
    Stdlib.result

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

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

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