Index - =
| =:= | |
| 1 (Function) | Test.QuickSpec.Reasoning.UnionFind |
| 2 (Function) | Test.QuickSpec.Reasoning.CongruenceClosure |
| 3 (Function) | Test.QuickSpec.Reasoning.NaiveEquationalReasoning |
| =?= | |
| 1 (Function) | Test.QuickSpec.Reasoning.CongruenceClosure |
| 2 (Function) | Test.QuickSpec.Reasoning.NaiveEquationalReasoning |