PatternMatchPushDown(S, A, B)¶
This packages provides tools for matching recursively in type towers.
- patternMatch: (A, Pattern S, PatternMatchResult(S, B)) -> PatternMatchResult(S, B)
patternMatch(expr, pat, res)matches the pattern
patto the expression
expr; res contains the variables of
patwhich are already matched and their matches. Note: this function handles type towers by changing the predicates and calling the matching function provided by