PatternFunctions2(R, S)

pattern.spad line 433 [edit on github]

Lifts maps to patterns.

map: (R -> S, Pattern R) -> Pattern S

map(f, p) applies f to all the leaves of p and returns the result as a pattern over S.