Index - F
| false | Funsat.Circuit |
| falseHash | Funsat.Circuit |
| finalAssignment | Funsat.Types |
| foldTree | Funsat.Circuit |
| freezeAss | Funsat.Types |
| FrozenLevelArray | Funsat.Types |
| FrozenShared | |
| 1 (Type/Class) | Funsat.Circuit |
| 2 (Data Constructor) | Funsat.Circuit |
| FrozenVarOrder | |
| 1 (Type/Class) | Funsat.Types |
| 2 (Data Constructor) | Funsat.Types |