terminal-id

Unique identifier for a terminal created via create-terminal.

type terminal-id = terminal-id;