The compiler Unparse_Type api defines access to functionality dumping type information for debugging and documentation purposes.
The Unparse_Type api is implemented by the unparse_type package.
The Unparse_Type api source code is in src/lib/compiler/front/typer/print/unparse-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;
unparse_typ : symbolmapstack::Symbolmapstack
-> ?.prettyprint::pp::Stream -> types::Typ -> Void;
unparse_type_scheme : symbolmapstack::Symbolmapstack
-> ?.prettyprint::pp::Stream -> types::Type_Scheme -> Void;
unparse_type : symbolmapstack::Symbolmapstack
-> ?.prettyprint::pp::Stream -> types::Type -> Void;
unparse_typevar_ref : symbolmapstack::Symbolmapstack
-> ?.prettyprint::pp::Stream -> types::Typevar_Ref -> Void;
unparse_enum_constructor_domain : (?.Vector(types::Datatype_Member ) , List(types::Typ ))
-> symbolmapstack::Symbolmapstack
-> ?.prettyprint::pp::Stream -> types::Type -> Void;
unparse_enum_constructor_types : symbolmapstack::Symbolmapstack
-> ?.prettyprint::pp::Stream -> types::Typ -> Void;
reset_unparse_type : Void -> Void;
unparse_formals : ?.prettyprint::pp::Stream -> Int -> Void;
debugging : Ref(Bool );
unalias : Ref(Bool );
};