Module tptp::resolve[][src]

Implement custom behaviour for processing include() directives.

Traits

Resolve

A trait that dictates what should occur when an include directive is encountered. Also used to resolve the starting path.