Type Definition Or
prop
type Or<T, U> = Either<T, U>;
Logical OR.
impl<T, U> Decidable for Or<T, U> where T: Decidable, U: Decidable,
fn decide() -> ExcM<Self>
Get excluded middle rule.
impl<T, U> PBinOrd for Or<T, U>
type Left = T
The left argument.
type Right = U
The right argument.