terminal-output

The output side of a terminal.

type terminal-output = terminal-output;