Module tptp::reader

Reader API.

Structs

Reader	An iterator over Statements. If an error is encountered, the error is reported only once, after which the iterator returns None.
ReaderBuilder	Configuration state to build a Reader, parameterized over a Resolve instance.