PatternFunctions2(R, S)ΒΆ

pattern.spad line 434 [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.