Mavryk_client_001_PtAtLas.Michelson_v1_printerval print_expr :
Stdlib.Format.formatter ->
Mavryk_protocol_001_PtAtLas.Protocol.Script_repr.expr ->
unitval print_expr_unwrapped :
Stdlib.Format.formatter ->
Mavryk_protocol_001_PtAtLas.Protocol.Script_repr.expr ->
unitval print_typed_stack :
Stdlib.Format.formatter ->
(Mavryk_protocol_001_PtAtLas.Protocol.Script_repr.expr
* Mavryk_protocol_001_PtAtLas.Protocol.Script_repr.expr)
list ->
unitval print_execution_trace :
Stdlib.Format.formatter ->
Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.execution_trace ->
unitval print_big_map_diff :
Stdlib.Format.formatter ->
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Lazy_storage.diffs ->
unitval inject_types :
Mavryk_protocol_001_PtAtLas.Protocol.Script_tc_errors.type_map ->
Michelson_v1_parser.parsed ->
Mavryk_micheline.Micheline_printer.nodeInsert the type map returned by the typechecker as comments in a printable Micheline AST.
val unparse_toplevel :
?type_map:Mavryk_protocol_001_PtAtLas.Protocol.Script_tc_errors.type_map ->
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.expr ->
Michelson_v1_parser.parsedUnexpand the macros and produce the result of parsing an intermediate pretty printed source. Useful when working with contracts extracted from the blockchain and not local files.
val unparse_expression :
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.expr ->
Michelson_v1_parser.parsedval unparse_invalid :
string Mavryk_micheline.Micheline.canonical ->
Michelson_v1_parser.parsedUnexpand the macros and produce the result of parsing an intermediate pretty printed source. Works on generic trees,for programs that fail to be converted to a specific script version.
val ocaml_constructor_of_prim :
Mavryk_protocol_001_PtAtLas.Protocol.Michelson_v1_primitives.prim ->
stringval micheline_string_of_expression :
zero_loc:bool ->
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.expr ->
string