Type

terminal-id

Unique identifier for a terminal created via create-terminal.

type terminal-id = string;