[][src]Type Definition rquickjs_sys::__FILE

type __FILE = _IO_FILE;