Index - F
| F | Twee.Term, Twee.Base |
| false | Twee.Constraints |
| fcat | Twee.Pretty, Twee.Base |
| find | Twee.Label |
| findPassive | Twee |
| first | Twee.Pretty, Twee.Base |
| fixedArity | Twee.Pretty, Twee.Base |
| fixpoint | Twee.Utils |
| float | Twee.Pretty, Twee.Base |
| foldSubst | Twee.Term, Twee.Base |
| formAnd | Twee.Constraints |
| Formula | Twee.Constraints |
| fromTerm | Twee.Constraints |
| fsep | Twee.Pretty, Twee.Base |
| fullRender | Twee.Pretty, Twee.Base |
| Fun | Twee.Term, Twee.Base |
| fun | Twee.Term, Twee.Base |
| Function | |
| 1 (Data Constructor) | Twee.Base |
| 2 (Type/Class) | Twee.Base |
| FunOf | Twee.Base |
| funs | |
| 1 (Function) | Twee.Constraints |
| 2 (Function) | Twee.Base |
| fun_id | Twee.Term, Twee.Base |
| fun_value | Twee.Term, Twee.Base |