Expand description
An interface providing an optional terminal-input for stdin as a
link-time authority.
Functions§
- get_
terminal_ stdin - If stdin is connected to a terminal, return a
terminal-inputhandle allowing further interaction with it.
An interface providing an optional terminal-input for stdin as a
link-time authority.
terminal-input handle
allowing further interaction with it.