[−][src]Function tptp::resolve_include
pub fn resolve_include(included: Included) -> Result<File, Error>
Resolve a TPTP include directive to a File
.
Files are opened read-only and relative to the current directory, or if that fails, relative to the TPTP
environment variable.