`With`¶

With substitutes constant values into the body expression.

$ wo 'With[{x = 5}, x + 1]'
6

$ wo 'With[{x = 2, y = 3}, x + y]'
5

$ wo 'With[{l = Length[{1,2,3}]}, l + 1]'
4

With¶