Pretty Printing
This is the generic reflection based pretty printer. It will try
to print objects of any sort using interface free type
information as far as available at runtime. Every instance of a
publicly visible free type will be printed in a canonical
constructor notation with eventual parameter instantiation, or as
SOME alpha else. The builtin denotation type is
handled specially. The printing method may be overridden with
more efficient specializations for frequently used types.
See PrettyPrintBuiltin.
List of Import References :
See Method
See Reflection
SIGNATURE PrettyPrint[alpha]
SORT alpha
/$ DYNAMIC [alpha] $/
IMPORT Method[value, denotation] ONLY method : SORT
Reflection ONLY value : SORT
FUN print : alpha -> denotation
FUN print : method -> alpha -> denotation
next node: PrettyPrintStream,
prev node: StandardOrderBuiltin,
up to node: User Subsystem : Reflections