Portability | portable (depends on ghc) |
---|---|
Stability | provisional |
Maintainer | bastiaan.heeren@ou.nl |
Safe Haskell | None |
Documentation
matchExtended :: Map Symbol SymbolMatch -> Term -> Term -> [(Substitution, Maybe Term, Maybe Term)]Source
type Match a = a -> a -> [Substitution]Source
type SymbolMatch = Match Term -> [Term] -> Term -> [Substitution]Source