Module cop::tptp

TPTP parsing.

Functions

• parse
  Parse TPTP file and add formulas to role map, call f on include statements.

Type Aliases

• SArgs
  String arguments.
• SFof
  String formula.
• STerm
  String term.