| A | |
| 1 (Type/Class) | Data.Comp.Multi.Functor, Data.Comp.Multi |
| 2 (Data Constructor) | Data.Comp.Multi.Functor, Data.Comp.Multi |
| Alg | Data.Comp.Algebra, Data.Comp |
| AlgM | Data.Comp.Algebra, Data.Comp |
| algM | Data.Comp.Algebra, Data.Comp |
| ana | Data.Comp.Algebra, Data.Comp |
| ana' | Data.Comp.Algebra, Data.Comp |
| anaE | Data.Comp.Algebra, Data.Comp |
| anaM | Data.Comp.Algebra, Data.Comp |
| apo | Data.Comp.Algebra, Data.Comp |
| apoM | Data.Comp.Algebra, Data.Comp |
| appCxt | Data.Comp.Algebra, Data.Comp |
| appCxtE | Data.Comp.Algebra, Data.Comp |
| appHCxt | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| appHCxtE | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| appHSigFun | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| appHSigFunM | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| appHTermHom | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| appHTermHomE | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| appHTermHomM | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| appRule | Data.Comp.TermRewriting |
| appSigFun | Data.Comp.Algebra, Data.Comp |
| appSigFunM | Data.Comp.Algebra, Data.Comp |
| appSigFunM' | Data.Comp.Algebra, Data.Comp |
| appSubst | |
| 1 (Function) | Data.Comp.Multi.Variables |
| 2 (Function) | Data.Comp.Variables, Data.Comp.Matching |
| appSubstEq | Data.Comp.Unification |
| appTermHom | Data.Comp.Algebra, Data.Comp |
| appTermHomE | Data.Comp.Algebra, Data.Comp |
| appTermHomM | Data.Comp.Algebra, Data.Comp |
| appTRS | Data.Comp.TermRewriting |
| Arbitrary | Data.Comp.Derive |
| arbitrary | Data.Comp.Derive |
| ArbitraryF | Data.Comp.Derive, Data.Comp.Arbitrary |
| arbitraryF | Data.Comp.Derive, Data.Comp.Arbitrary |
| arbitraryF' | Data.Comp.Derive, Data.Comp.Arbitrary |
| arguments | Data.Comp.Decompose |