Safe Haskell | Safe-Inferred |
---|
Documentation
applyUnifier :: Unifier -> Term -> Term
mostGeneralUnifier :: [(Term, Term)] -> Maybe Unifier
Safe Haskell | Safe-Inferred |
---|
applyUnifier :: Unifier -> Term -> Term
mostGeneralUnifier :: [(Term, Term)] -> Maybe Unifier