# PatternFunctions2(R, S)¶

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