Contents
Index
agum-1.0: Unification and Matching in an Abelian Group
Index
add
Algebra.AbelianGroup.UnificationMatching
assocs
Algebra.AbelianGroup.UnificationMatching
Equation
1 (Type/Class)
Algebra.AbelianGroup.UnificationMatching
2 (Data Constructor)
Algebra.AbelianGroup.UnificationMatching
ide
Algebra.AbelianGroup.UnificationMatching
isVar
Algebra.AbelianGroup.UnificationMatching
Maplet
1 (Type/Class)
Algebra.AbelianGroup.UnificationMatching
2 (Data Constructor)
Algebra.AbelianGroup.UnificationMatching
match
Algebra.AbelianGroup.UnificationMatching
mul
Algebra.AbelianGroup.UnificationMatching
Term
Algebra.AbelianGroup.UnificationMatching
unify
Algebra.AbelianGroup.UnificationMatching
var
Algebra.AbelianGroup.UnificationMatching