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

val print_expr : 
  Stdlib.Format.formatter ->
  Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.expr ->
  unit

val print_type_map : 
  Stdlib.Format.formatter ->
  (Michelson_v1_parser.parsed
   * Mavryk_protocol_001_PtAtLas.Protocol.Script_tc_errors.type_map) ->
  unit

val report_errors : 
  Stdlib.Format.formatter ->
  (Michelson_v1_parser.parsed * Mavryk_base.TzPervasives.Error_monad.error list) ->
  unit