input-port-eof -- r7rs Type

§

Super-types

§

• input-port-open;

Super-types recursive

§

• input-port;
• port;
• port-open;

Sub-types

§

• binary-input-port-eof;
• textual-input-port-eof;

Categories

§

• types-ports;

Categories recursive

§

• types;