| unA | Data.Comp.Multi.HFunctor, Data.Comp.MultiParam.HDifunctor, Data.Comp.Multi, Data.Comp.MultiParam |
| unE | Data.Comp.Multi.HFunctor, Data.Comp.MultiParam.HDifunctor, Data.Comp.Multi, Data.Comp.MultiParam |
| unI | Data.Comp.Multi.HFunctor, Data.Comp.MultiParam.HDifunctor, Data.Comp.Multi, Data.Comp.MultiParam |
| UnifError | |
| 1 (Type/Class) | Data.Comp.Unification |
| 2 (Data Constructor) | Data.Comp.Unification |
| unify | Data.Comp.Unification |
| UnifyM | Data.Comp.Unification |
| UnifyState | |
| 1 (Type/Class) | Data.Comp.Unification |
| 2 (Data Constructor) | Data.Comp.Unification |
| unifyStep | Data.Comp.Unification |
| unK | Data.Comp.Multi.HFunctor, Data.Comp.MultiParam.HDifunctor, Data.Comp.Multi, Data.Comp.MultiParam |
| unNumbered | |
| 1 (Function) | Data.Comp.Number |
| 2 (Function) | Data.Comp.Multi.Number |
| unTerm | |
| 1 (Function) | Data.Comp.Param.Term, Data.Comp.Param |
| 2 (Function) | Data.Comp.MultiParam.Term, Data.Comp.MultiParam |
| 3 (Function) | Data.Comp.Multi.Term, Data.Comp.Multi |
| 4 (Function) | Data.Comp.Term, Data.Comp |
| UpState | Data.Comp.Automata |
| upState | Data.Comp.Automata |
| UpTrans | Data.Comp.Automata |
| upTrans | Data.Comp.Automata |
| usEqs | Data.Comp.Unification |
| usSubst | Data.Comp.Unification |