Index - V
| Var | |
| 1 (Data Constructor) | Data.Comp.Param.Term, Data.Comp.Param |
| 2 (Data Constructor) | Data.Comp.MultiParam.Term, Data.Comp.MultiParam |
| 3 (Type/Class) | Data.Comp.TermRewriting |
| 4 (Data Constructor) | Data.Comp.Decompose |
| variableList | |
| 1 (Function) | Data.Comp.Multi.Variables |
| 2 (Function) | Data.Comp.Variables, Data.Comp.Matching |
| variables | |
| 1 (Function) | Data.Comp.Multi.Variables |
| 2 (Function) | Data.Comp.Variables, Data.Comp.Matching |
| variables' | |
| 1 (Function) | Data.Comp.Multi.Variables |
| 2 (Function) | Data.Comp.Variables, Data.Comp.Matching |
| varsToHoles | |
| 1 (Function) | Data.Comp.Multi.Variables |
| 2 (Function) | Data.Comp.Variables, Data.Comp.Matching |