PrettyPrintStreamBuiltin

See the documentation of PrettyPrintBuiltin.

Signature of PrettyPrintStreamBuiltin

List of Import References :
See MethodEnv
See Reflection

SIGNATURE PrettyPrintStreamBuiltin

IMPORT Com[void] ONLY com
       MethodEnv[value, com[void], output] ONLY method : SORT
       Nat ONLY nat
       Reflection ONLY value : SORT
       Stream ONLY output
       Void ONLY void

FUN nat : method -> output ** nat -> com[void]
FUN seq : method -> method
FUN set : method -> method

FUN default : method

FUN printDefault : output ** value -> com[void]

next node: StandardOrderBuiltin,
prev node: PrettyPrintBuiltin,
up to node: User Subsystem : Reflections