Type Definition php_all_sys::php73::FILE[−][src]

type FILE = _IO_FILE;