The compiler library Prettyprint_Type api defines access to debug functionality displaying internal type representations.
The Prettyprint_Type api is implemented by the prettyprint_type package.
The Prettyprint_Type api source code is in src/lib/compiler/front/typer/print/prettyprint-type.pkg.
The above information is manually maintained and may contain errors.
api {
type_formals : Int -> List(String );
typevar_ref_printname : types::Typevar_Ref -> String;
prettyprint_typ : symbolmapstack::Symbolmapstack
-> ?.prettyprint::pp::Stream -> types::Typ -> Void;
prettyprint_type_scheme : symbolmapstack::Symbolmapstack
-> ?.prettyprint::pp::Stream -> types::Type_Scheme -> Void;
prettyprint_type : symbolmapstack::Symbolmapstack
-> ?.prettyprint::pp::Stream -> types::Type -> Void;
prettyprint_typevar_ref : symbolmapstack::Symbolmapstack
-> ?.prettyprint::pp::Stream -> types::Typevar_Ref -> Void;
prettyprint_enum_constructor_domain : (?.Vector(types::Datatype_Member ) , List(types::Typ ))
-> symbolmapstack::Symbolmapstack
-> ?.prettyprint::pp::Stream -> types::Type -> Void;
prettyprint_enum_constructor_types : symbolmapstack::Symbolmapstack
-> ?.prettyprint::pp::Stream -> types::Typ -> Void;
reset_prettyprint_type : Void -> Void;
prettyprint_formals : ?.prettyprint::pp::Stream -> Int -> Void;
debugging : Ref(Bool );
unalias : Ref(Bool );
};