Function tptp::resolve_include

pub fn resolve_include(input: &str) -> 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.