| .!=. | Codec.TPTP.Base, Codec.TPTP |
| .&. | Codec.TPTP.Base, Codec.TPTP |
| .<=. | Codec.TPTP.Base, Codec.TPTP |
| .<=>. | Codec.TPTP.Base, Codec.TPTP |
| .<~>. | Codec.TPTP.Base, Codec.TPTP |
| .=. | Codec.TPTP.Base, Codec.TPTP |
| .=>. | Codec.TPTP.Base, Codec.TPTP |
| .|. | Codec.TPTP.Base, Codec.TPTP |
| .~&. | Codec.TPTP.Base, Codec.TPTP |
| .~. | Codec.TPTP.Base, Codec.TPTP |
| .~|. | Codec.TPTP.Base, Codec.TPTP |
| :!=: | Codec.TPTP.Base, Codec.TPTP |
| :&: | Codec.TPTP.Base, Codec.TPTP |
| :<=: | Codec.TPTP.Base, Codec.TPTP |
| :<=>: | Codec.TPTP.Base, Codec.TPTP |
| :<~>: | Codec.TPTP.Base, Codec.TPTP |
| :=: | Codec.TPTP.Base, Codec.TPTP |
| :=>: | Codec.TPTP.Base, Codec.TPTP |
| :|: | Codec.TPTP.Base, Codec.TPTP |
| :~&: | Codec.TPTP.Base, Codec.TPTP |
| :~: | Codec.TPTP.Base, Codec.TPTP |
| :~|: | Codec.TPTP.Base, Codec.TPTP |
| AFormula | Codec.TPTP.Base, Codec.TPTP |
| All | Codec.TPTP.Base, Codec.TPTP |
| AtomicWord |
| 1 (Type/Class) | Codec.TPTP.Base, Codec.TPTP |
| 2 (Data Constructor) | Codec.TPTP.Base, Codec.TPTP |
| BinOp |
| 1 (Type/Class) | Codec.TPTP.Base, Codec.TPTP |
| 2 (Data Constructor) | Codec.TPTP.Base, Codec.TPTP |
| ColonSep | Codec.TPTP.Base, Codec.TPTP |
| Comma | Codec.TPTP.Import, Codec.TPTP |
| Comment | Codec.TPTP.Base, Codec.TPTP |
| CommentToken | Codec.TPTP.Import, Codec.TPTP |
| diff | Codec.TPTP.Diff, Codec.TPTP |
| Diffable | Codec.TPTP.Diff, Codec.TPTP |
| Differ | Codec.TPTP.Diff, Codec.TPTP |
| diffGenF | Codec.TPTP.Diff, Codec.TPTP |
| diffGenT | Codec.TPTP.Diff, Codec.TPTP |
| DiffResult | Codec.TPTP.Diff, Codec.TPTP |
| DistinctObjectTerm | Codec.TPTP.Base, Codec.TPTP |
| distinctObjectTerm | Codec.TPTP.Base, Codec.TPTP |
| DollarDollarWord | Codec.TPTP.Import, Codec.TPTP |
| DollarWord | Codec.TPTP.Import, Codec.TPTP |
| DontCare | Codec.TPTP.Diff, Codec.TPTP |
| Dot | Codec.TPTP.Import, Codec.TPTP |
| DoubleQuoted | Codec.TPTP.Import, Codec.TPTP |
| elimFormulaOrTerm | Codec.TPTP.Base, Codec.TPTP |
| EnclBinOp | Codec.TPTP.Pretty, Codec.TPTP |
| EnclInfixPred | Codec.TPTP.Pretty, Codec.TPTP |
| EnclNeg | Codec.TPTP.Pretty, Codec.TPTP |
| EnclNothing | Codec.TPTP.Pretty, Codec.TPTP |
| Enclosing | Codec.TPTP.Pretty, Codec.TPTP |
| EnclQuant | Codec.TPTP.Pretty, Codec.TPTP |
| Exists | Codec.TPTP.Base, Codec.TPTP |
| exists | Codec.TPTP.Base, Codec.TPTP |
| F0Diff | Codec.TPTP.Diff, Codec.TPTP |
| fApp | Codec.TPTP.Base, Codec.TPTP |
| FF | Codec.TPTP.Base, Codec.TPTP |
| Formula | Codec.TPTP.Base, Codec.TPTP |
| formula | Codec.TPTP.Base, Codec.TPTP |
| Formula0 | Codec.TPTP.Base, Codec.TPTP |
| FormulaFix |
| 1 (Type/Class) | Codec.TPTP.Base, Codec.TPTP |
| 2 (Data Constructor) | Codec.TPTP.Base, Codec.TPTP |
| FormulaOrTerm | Codec.TPTP.Base, Codec.TPTP |
| for_all | Codec.TPTP.Base, Codec.TPTP |
| free_vars | Codec.TPTP.Base, Codec.TPTP |
| free_vars0 | Codec.TPTP.Base, Codec.TPTP |
| FunApp | Codec.TPTP.Base, Codec.TPTP |
| GApp | Codec.TPTP.Base, Codec.TPTP |
| GData | Codec.TPTP.Base, Codec.TPTP |
| GDistinctObject | Codec.TPTP.Base, Codec.TPTP |
| GFormulaData | Codec.TPTP.Base, Codec.TPTP |
| GList | Codec.TPTP.Base, Codec.TPTP |
| GNumber | Codec.TPTP.Base, Codec.TPTP |
| GTerm |
| 1 (Type/Class) | Codec.TPTP.Base, Codec.TPTP |
| 2 (Data Constructor) | Codec.TPTP.Base, Codec.TPTP |
| GVar | Codec.TPTP.Base, Codec.TPTP |
| GWord | Codec.TPTP.Base, Codec.TPTP |
| Include | Codec.TPTP.Base, Codec.TPTP |
| InfixPred |
| 1 (Type/Class) | Codec.TPTP.Base, Codec.TPTP |
| 2 (Data Constructor) | Codec.TPTP.Base, Codec.TPTP |
| isLowerWord | Codec.TPTP.Export, Codec.TPTP |
| isSame | Codec.TPTP.Diff, Codec.TPTP |
| Lbrack | Codec.TPTP.Import, Codec.TPTP |
| LowerWord | Codec.TPTP.Import, Codec.TPTP |
| LP | Codec.TPTP.Import, Codec.TPTP |
| name | Codec.TPTP.Base, Codec.TPTP |
| NoSourceInfo | Codec.TPTP.Base, Codec.TPTP |
| NoUsefulInfo | Codec.TPTP.Base, Codec.TPTP |
| NumberLitTerm | Codec.TPTP.Base, Codec.TPTP |
| numberLitTerm | Codec.TPTP.Base, Codec.TPTP |
| Oper | Codec.TPTP.Import, Codec.TPTP |
| pApp | Codec.TPTP.Base, Codec.TPTP |
| parse | Codec.TPTP.Import, Codec.TPTP |
| parseFile | Codec.TPTP.Import, Codec.TPTP |
| Plus | Codec.TPTP.Import, Codec.TPTP |
| PredApp | Codec.TPTP.Base, Codec.TPTP |
| prettySimple | Codec.TPTP.Pretty, Codec.TPTP |
| printSampleDiffs | Codec.TPTP.Diff, Codec.TPTP |
| Quant |
| 1 (Type/Class) | Codec.TPTP.Base, Codec.TPTP |
| 2 (Data Constructor) | Codec.TPTP.Base, Codec.TPTP |
| Rangle | Codec.TPTP.Import, Codec.TPTP |
| Rbrack | Codec.TPTP.Import, Codec.TPTP |
| Real | Codec.TPTP.Import, Codec.TPTP |
| Role |
| 1 (Type/Class) | Codec.TPTP.Base, Codec.TPTP |
| 2 (Data Constructor) | Codec.TPTP.Base, Codec.TPTP |
| role | Codec.TPTP.Base, Codec.TPTP |
| RP | Codec.TPTP.Import, Codec.TPTP |
| runFormulaFix | Codec.TPTP.Base, Codec.TPTP |
| runTermFix | Codec.TPTP.Base, Codec.TPTP |
| Same | Codec.TPTP.Diff, Codec.TPTP |
| SameHead | Codec.TPTP.Diff, Codec.TPTP |
| SignedInt | Codec.TPTP.Import, Codec.TPTP |
| SingleQuoted | Codec.TPTP.Import, Codec.TPTP |
| SourceInfo |
| 1 (Type/Class) | Codec.TPTP.Base, Codec.TPTP |
| 2 (Data Constructor) | Codec.TPTP.Base, Codec.TPTP |
| sourceInfo | Codec.TPTP.Base, Codec.TPTP |
| Star | Codec.TPTP.Import, Codec.TPTP |
| T0Diff | Codec.TPTP.Diff, Codec.TPTP |
| Term | Codec.TPTP.Base, Codec.TPTP |
| Term0 | Codec.TPTP.Base, Codec.TPTP |
| TermFix |
| 1 (Type/Class) | Codec.TPTP.Base, Codec.TPTP |
| 2 (Data Constructor) | Codec.TPTP.Base, Codec.TPTP |
| Token | Codec.TPTP.Import, Codec.TPTP |
| ToTPTP | Codec.TPTP.Export, Codec.TPTP |
| toTPTP | Codec.TPTP.Export, Codec.TPTP |
| toTPTP' | Codec.TPTP.Export, Codec.TPTP |
| TPTP_Input | Codec.TPTP.Base, Codec.TPTP |
| TT | Codec.TPTP.Base, Codec.TPTP |
| univquant_free_vars | Codec.TPTP.Base, Codec.TPTP |
| unrole | Codec.TPTP.Base, Codec.TPTP |
| UnsignedInt | Codec.TPTP.Import, Codec.TPTP |
| UpperWord | Codec.TPTP.Import, Codec.TPTP |
| UsefulInfo |
| 1 (Type/Class) | Codec.TPTP.Base, Codec.TPTP |
| 2 (Data Constructor) | Codec.TPTP.Base, Codec.TPTP |
| usefulInfo | Codec.TPTP.Base, Codec.TPTP |
| Var | Codec.TPTP.Base, Codec.TPTP |
| var | Codec.TPTP.Base, Codec.TPTP |
| WithEnclosing |
| 1 (Type/Class) | Codec.TPTP.Pretty, Codec.TPTP |
| 2 (Data Constructor) | Codec.TPTP.Pretty, Codec.TPTP |
