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