Class type 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.

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.