/usr/lib/help/current-input-port is in scheme9 2013.11.26-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 | R4RS 6.10 (current-input-port) ==> input-port
(current-output-port) ==> output-port
Returns the current default input or output port.
|