Index - F
| findWitness | Test.QuickSpec.Signature |
| flatten | Test.QuickSpec.Reasoning.NaiveEquationalReasoning |
| fromList | |
| 1 (Function) | Test.QuickSpec.Utils.TypeMap |
| 2 (Function) | Test.QuickSpec.Utils.TypeRel |
| frozen | Test.QuickSpec.Reasoning.CongruenceClosure |
| fun0 | Test.QuickSpec.Signature, Test.QuickSpec |
| fun1 | Test.QuickSpec.Signature, Test.QuickSpec |
| fun2 | Test.QuickSpec.Signature, Test.QuickSpec |
| fun3 | Test.QuickSpec.Signature, Test.QuickSpec |
| fun4 | Test.QuickSpec.Signature, Test.QuickSpec |
| fun5 | Test.QuickSpec.Signature, Test.QuickSpec |
| functor | Test.QuickSpec.Term |
| funs | |
| 1 (Function) | Test.QuickSpec.Term |
| 2 (Function) | Test.QuickSpec.Prelude, Test.QuickSpec |
| funUse | Test.QuickSpec.Reasoning.CongruenceClosure |