.terminal

Information

Interface

impure function terminal
  discrete output Boolean isTerminal;
end terminal;