Convert a stdio File_Type object to a FD_Type descriptor
FD_Type fileno (File_Type fp)
The fileno function returns the FD_Type descriptor associated with the File_Type file pointer. Upon failure, NULL is returned.
![[CIAO Logo]](../imgs/ciao_logo_navbar.gif){kind=logo}