Index - F
| F | Twee.Term, Twee.Base |
| false | Twee.Constraints |
| fcat | Twee.Pretty, Twee.Base |
| find | Data.Label |
| findPassive | Twee |
| first | Twee.Pretty, Twee.Base |
| fixedArity | Twee.Pretty, Twee.Base |
| fixpoint | Twee.Utils |
| fixpointOn | Twee.Utils |
| float | Twee.Pretty, Twee.Base |
| foldn | Twee.Utils |
| foldSubst | Twee.Term, Twee.Base |
| formAnd | Twee.Constraints |
| Formula | Twee.Constraints |
| Forwards | Twee.CP |
| ForwardsPos | Twee.CP |
| freshVar | Twee.Base |
| fromList | Twee.Index |
| fromListWith | Twee.Index |
| fromTerm | Twee.Constraints |
| fsep | Twee.Pretty, Twee.Base |
| fullRender | Twee.Pretty, Twee.Base |
| Fun | Twee.Term, Twee.Base |
| fun | Twee.Term, Twee.Base |
| Function | 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 |