Type Definition torch::__FILE [] [src]

type __FILE = _IO_FILE;