or Arguments
Arguments of an ||
-expression. If this list is non-empty, the resulting effect expression is a disjunction of this expression and elements of the list.
Arguments of an ||
-expression. If this list is non-empty, the resulting effect expression is a disjunction of this expression and elements of the list.