Module tptp::resolve

source ·
Expand description

Resolve include() paths according to the TPTP spec

Functions

resolve
Resolve a TPTP include directive to a stream of bytes