Index - C
| C | |
| 1 (Type/Class) | Test.QuickSpec.Prelude, Test.QuickSpec |
| 2 (Data Constructor) | Test.QuickSpec.Prelude |
| cast | Test.QuickSpec.Utils.Typeable |
| CC | Test.QuickSpec.Reasoning.CongruenceClosure |
| classes | Test.QuickSpec.TestTree |
| classify | Test.QuickSpec.Utils.TypeRel |
| con | |
| 1 (Function) | Test.QuickSpec.Term |
| 2 (Function) | Test.QuickSpec.Signature, Test.QuickSpec |
| Const | Test.QuickSpec.Term |
| Constant | |
| 1 (Type/Class) | Test.QuickSpec.Term |
| 2 (Data Constructor) | Test.QuickSpec.Term |
| constantApplications | Test.QuickSpec.Signature |
| constantArgs | Test.QuickSpec.Signature |
| constantRes | Test.QuickSpec.Signature |
| constants | Test.QuickSpec.Signature |
| constantSig | Test.QuickSpec.Signature |
| Context | |
| 1 (Type/Class) | Test.QuickSpec.Reasoning.NaiveEquationalReasoning |
| 2 (Data Constructor) | Test.QuickSpec.Reasoning.NaiveEquationalReasoning |
| createUniverse | Test.QuickSpec.Reasoning.NaiveEquationalReasoning |
| cutOff | Test.QuickSpec.TestTree |