Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
An output channel is abstractly represented as an object equipped with methods for displaying one character and for displaying a substring.