Index - F
| FiniteModel | TPDB.CPF.Proof.Type |
| fixpoint | TPDB.DP.Usable |
| fresh_var | TPDB.DP.TCap |
| fromMarkedIdentifier | TPDB.CPF.Proof.Util |
| from_strict_rules | TPDB.Data, TPDB.XTC |
| fsep | TPDB.Pretty |
| fs_arity | TPDB.Data, TPDB.XTC |
| fs_name | TPDB.Data, TPDB.XTC |
| fs_replacementmap | TPDB.Data, TPDB.XTC |
| fs_theory | TPDB.Data, TPDB.XTC |
| Full | TPDB.Data, TPDB.XTC |
| full_signature | TPDB.Data, TPDB.XTC |
| Funcsym | |
| 1 (Type/Class) | TPDB.Data, TPDB.XTC |
| 2 (Data Constructor) | TPDB.Data, TPDB.XTC |