sigmastate
OR disjunction for sigma propositions
The same code is also used for OR operation, but they belong to different type hierarchies.
OR disjunction for sigma propositions