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

type Mavryk_base.TzPervasives.error +=

| Wrong_stack_item of Mavryk_micheline.Micheline_parser.location * Mavryk_micheline.Micheline_printer.node
| Wrong_stack of Mavryk_micheline.Micheline_parser.location * Mavryk_micheline.Micheline_printer.node
| Wrong_other_contracts_item of Mavryk_micheline.Micheline_parser.location * Mavryk_micheline.Micheline_printer.node
| Wrong_other_contracts of Mavryk_micheline.Micheline_parser.location * Mavryk_micheline.Micheline_printer.node
| Wrong_extra_big_maps_item of Mavryk_micheline.Micheline_parser.location * Mavryk_micheline.Micheline_printer.node
| Wrong_extra_big_maps of Mavryk_micheline.Micheline_parser.location * Mavryk_micheline.Micheline_printer.node
| Invalid_address_for_smart_contract of string

val micheline_printer_location_encoding : 
  Mavryk_micheline.Micheline_printer.location
    Mavryk_base.TzPervasives.Data_encoding.encoding

val micheline_printer_node_encoding : 
  Mavryk_micheline.Micheline_printer.node
    Mavryk_base.TzPervasives.Data_encoding.encoding

val parse_expression : 
  source:string ->
  Mavryk_micheline.Micheline_parser.node ->
  Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.expr
    Mavryk_base.TzPervasives.tzresult

val printable : 
  ('a, string) Mavryk_micheline.Micheline.node ->
  (Mavryk_micheline.Micheline_printer.location, string)
    Mavryk_micheline.Micheline.node

val parse_stack_item : 
  source:string ->
  (Mavryk_micheline.Micheline_parser.location, string)
    Mavryk_micheline.Micheline.node ->
  (Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.expr
   * Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.expr,
    Mavryk_base.TzPervasives.tztrace)
    Stdlib.result

val parse_other_contract_item : 
  source:string ->
  (Mavryk_micheline.Micheline_parser.location, string)
    Mavryk_micheline.Micheline.node ->
  (Mavryk_protocol_plugin_001_PtAtLas.RPC.Scripts.S.other_contract_description,
    Mavryk_base.TzPervasives.tztrace)
    Stdlib.result

val parse_extra_big_map_item : 
  source:string ->
  (Mavryk_micheline.Micheline_parser.location, string)
    Mavryk_micheline.Micheline.node ->
  (Mavryk_protocol_plugin_001_PtAtLas.RPC.Scripts.S.extra_big_map_description,
    Mavryk_base.TzPervasives.tztrace)
    Stdlib.result

val parse_stack : 
  source:string ->
  (Mavryk_micheline.Micheline_parser.location, string)
    Mavryk_micheline.Micheline.node ->
  ((Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.expr
    * Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.expr)
     list,
    Mavryk_base.TzPervasives.error Mavryk_base.TzPervasives.TzTrace.trace)
    Stdlib.result

val parse_other_contracts : 
  source:string ->
  (Mavryk_micheline.Micheline_parser.location, string)
    Mavryk_micheline.Micheline.node ->
  (Mavryk_protocol_plugin_001_PtAtLas.RPC.Scripts.S.other_contract_description
     list,
    Mavryk_base.TzPervasives.error Mavryk_base.TzPervasives.TzTrace.trace)
    Stdlib.result

val parse_extra_big_maps : 
  source:string ->
  (Mavryk_micheline.Micheline_parser.location, string)
    Mavryk_micheline.Micheline.node ->
  (Mavryk_protocol_plugin_001_PtAtLas.RPC.Scripts.S.extra_big_map_description
     list,
    Mavryk_base.TzPervasives.error Mavryk_base.TzPervasives.TzTrace.trace)
    Stdlib.result