bit_or::=