It provides a pretty printer for values of type TypeDD.Type.
ppType : ppstream -> TypeDD.Type -> unit
The pretty printer can be installed in from the interpreter by executing the command installPP ppType from the interpreter.