PPrint.output
An output channel is abstractly represented as an object equipped with methods for displaying one character and for displaying a substring.
method char : char -> unit
char c sends the character c to the output channel.
char c
c
method substring : string -> int -> int -> unit
substring s ofs len sends the substring of s delimited by the offset ofs and the length len to the output channel.
substring s ofs len
s
ofs
len