Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
unifyAndApply :: Term term v f => [(term, term)] -> Failing [(term, term)] Source
Safe Haskell | None |
---|---|
Language | Haskell98 |
unifyAndApply :: Term term v f => [(term, term)] -> Failing [(term, term)] Source