Documentation

empty :: Substitution

singleton :: Variable -> Term -> Substitution

map :: (Term -> Term) -> Substitution -> Substitution

toList :: Substitution -> [(Variable, Term)]

union :: Substitution -> Substitution -> Substitution

lookup :: Variable -> Substitution -> Maybe Term

apply :: Substitution -> Term -> Term

compose :: Substitution -> Substitution -> Substitution

subsumes :: Term -> Term -> Bool

matches :: Term -> Term -> Bool

match :: Term -> Term -> Substitution -> Maybe Substitution

isUnifiable :: Term -> Term -> Bool

unify :: Term -> Term -> Maybe Substitution

isRenamedUnifiable :: Term -> Term -> Bool

encompasses :: Term -> Term -> Bool

variant :: Term -> Term -> Bool