Noeud: Character Input/Output, Noeud « Next »: Stream IO, Noeud « Previous »: Input and Output of Terms, Noeud « Up »: Input / Output
get_char(?
C)
get_char(+
Stream,?
C)
user_input
).
put_char(+
C)
put_char(+
Stream,+
C)
user_output
).