Section Header

    + name :=STD_INPUT_OUTPUT;

    - comment :="To have the useful `io'";

Section Inherit

    - parent_input_stream:INPUT_STREAM :=

    - parent_output_stream:OUTPUT_STREAM :=

Section Public

    - is_connected:BOOLEAN :=

    - make <-

    - read_character <-

    - unread_character <-

    - push_back_flag:BOOLEAN <-

    - last_character:CHARACTER <-

    - put_character c:CHARACTER <-

    - end_of_input:BOOLEAN <-

    - read_line_in str:STRING <-