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

type DefaultTerminal = Console;

Type alias for the platform-dependent default Terminal interface