Description

File returns the file that contains the position p. If no such file is found (for instance for p == NoPos), the result is nil.