Type Definition gravity::FILE [−] [src]

type FILE = _IO_FILE;