port-file-number

[procedure] port-file-number port

Gauche: returns the file descriptor number if port is a file port, or #f.

This is called port->fileno or port->fdes in some implementations.