The | operator is infixed. The left hand side is
an expression depending on one or more parameters, the right hand side
is an equality or several equalities (parameter = value, parameter =
value, …).
The | operator returns the expression with the parameters
replaced by the given values.
Input:
Output (even if a has been assigned a value):
Input:
Output (even if a or b had been assigned a value):