Type

terminal-input

The input side of a terminal.

type terminal-input = terminal-input;