Type Definition linefeed::terminal::DefaultTerminal [] [src]

type DefaultTerminal = Terminal;

Type alias for the platform-dependent default Terminal interface