PatternMatchListAggregate(S, R, L)

patmatch1.spad line 571 [edit on github]

• S : SetCategory
• R : PatternMatchable(S)
• L : ListAggregate(R)

This package provides pattern matching functions on lists.

patternMatch : (L, Pattern(S), PatternMatchListResult(S, R, L)) -> PatternMatchListResult(S, R, L)

patternMatch(l, pat, res) matches the pattern pat to the list l; res contains the variables of pat which are already matched and their matches.