Type Definition torch::FILE [] [src]

type FILE = _IO_FILE;