Michelson_v1_helpers (mavkit-protocol-001-PtAtLas-libs.Mavryk_client_001_PtAtLas.Michelson_v1

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

val pair : 
  loc:'a ->
  ('b, Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.prim)
    Mavryk_micheline.Micheline.node ->
  ('b, Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.prim)
    Mavryk_micheline.Micheline.node ->
  ('b, Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.prim)
    Mavryk_micheline.Micheline.node

val none : 
  loc:'a ->
  unit ->
  ('b, Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.prim)
    Mavryk_micheline.Micheline.node

val some : 
  loc:'a ->
  ('b, Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.prim)
    Mavryk_micheline.Micheline.node ->
  ('b, Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.prim)
    Mavryk_micheline.Micheline.node

val left : 
  loc:'a ->
  ('b, Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.prim)
    Mavryk_micheline.Micheline.node ->
  ('b, Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.prim)
    Mavryk_micheline.Micheline.node

val right : 
  loc:'a ->
  ('b, Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.prim)
    Mavryk_micheline.Micheline.node ->
  ('b, Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.prim)
    Mavryk_micheline.Micheline.node

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

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

val unit_t : 
  loc:'a ->
  ('b, Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.prim)
    Mavryk_micheline.Micheline.node

val unit : 
  loc:'a ->
  ('b, Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.prim)
    Mavryk_micheline.Micheline.node

val lambda_from_string : 
  string ->
  ((Mavryk_micheline.Micheline.canonical_location,
     Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.prim)
     Mavryk_micheline.Micheline.node,
    Mavryk_error_monad.Error_monad.tztrace)
    Stdlib.result

val lambda_t : 
  loc:'a ->
  ('b, Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.prim)
    Mavryk_micheline.Micheline.node ->
  ('b, Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.prim)
    Mavryk_micheline.Micheline.node ->
  ('b, Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.prim)
    Mavryk_micheline.Micheline.node

val operation_t : 
  loc:'a ->
  ('b, Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.prim)
    Mavryk_micheline.Micheline.node

val operations_t : 
  loc:'a ->
  ('b, Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.prim)
    Mavryk_micheline.Micheline.node