PatternMatchListAggregate(S, R, L)ΒΆ

patmatch1.spad line 567

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.