val print_expr :
Stdlib.Format.formatter ->
Tezos_protocol_007_PsDELPH1.Protocol.Script_repr.expr ->
unitval print_expr_unwrapped :
Stdlib.Format.formatter ->
Tezos_protocol_007_PsDELPH1.Protocol.Script_repr.expr ->
unitval print_execution_trace :
Stdlib.Format.formatter ->
(Tezos_protocol_007_PsDELPH1.Protocol.Alpha_context.Script.location
* Tezos_protocol_007_PsDELPH1.Protocol.Alpha_context.Gas.t
* (Tezos_protocol_007_PsDELPH1.Protocol.Alpha_context.Script.expr
* string option)
list)
list ->
unitval print_big_map_diff :
Stdlib.Format.formatter ->
Tezos_protocol_007_PsDELPH1.Protocol.Alpha_context.Contract.big_map_diff ->
unitval inject_types :
Tezos_protocol_007_PsDELPH1.Protocol.Script_tc_errors.type_map ->
Michelson_v1_parser.parsed ->
Tezos_micheline.Micheline_printer.nodeInsert the type map returned by the typechecker as comments in a printable Micheline AST.
val unparse_toplevel :
?type_map:Tezos_protocol_007_PsDELPH1.Protocol.Script_tc_errors.type_map ->
Tezos_protocol_007_PsDELPH1.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 :
Tezos_protocol_007_PsDELPH1.Protocol.Alpha_context.Script.expr ->
Michelson_v1_parser.parsedval unparse_invalid :
string Tezos_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 :
Tezos_protocol_007_PsDELPH1.Protocol.Michelson_v1_primitives.prim ->
stringval micheline_string_of_expression :
zero_loc:bool ->
Tezos_protocol_007_PsDELPH1.Protocol.Alpha_context.Script.expr ->
string