# ComplexPatternMatch(R, S, CS)¶

patternMatch(cexpr, pat, res) matches the pattern pat to the complex expression cexpr. res contains the variables of pat which are already matched and their matches.