a | b | …: matches when any operand matches; every matching alternative yields its paths.
a | b | …
If there is no operand
a | b | …: matches when any operand matches; every matching alternative yields its paths.