PatternMatchFunctionSpace(S, R, F)¶

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.