PatternMatchSymbol SΒΆ

patmatch1.spad line 195 [edit on github]

This package provides pattern matching functions on symbols.

patternMatch: (Symbol, Pattern S, PatternMatchResult(S, Symbol)) -> PatternMatchResult(S, Symbol)

patternMatch(expr, pat, res) matches the pattern pat to the expression expr; res contains the variables of pat which are already matched and their matches (necessary for recursion).