Index - L
| lhsWitnesses | Test.QuickSpec.Signature |
| liftCC | Test.QuickSpec.Reasoning.NaiveEquationalReasoning |
| lifted | Test.QuickSpec.Approximate |
| liftEQ | Test.QuickSpec.Reasoning.PartialEquationalReasoning |
| List | Test.QuickSpec.Utils.Typed |
| lists | Test.QuickSpec.Prelude, Test.QuickSpec |
| lookup | |
| 1 (Function) | Test.QuickSpec.Reasoning.CongruenceClosure |
| 2 (Function) | Test.QuickSpec.Utils.TypeMap |
| 3 (Function) | Test.QuickSpec.Utils.TypeRel |
| lookupWitness | Test.QuickSpec.Signature |