Algebra.CommutativeMonoid.Unification

Terms

data Term

ide

isVar

var

mul

add

assocs

Equations and Substitutions

data Equation

data Substitution

subst

maplets

apply

Unification

unify