Module tptp::parser

source ·
Expand description

Parsing

Structs

Parser
A stream of statements, wrapping an underlying Token stream