Type Definition prop::Or

pub type Or<T, U> = Either<T, U>;

Logical OR.

Trait Implementations

impl<T, U> Decidable for Or<T, U> where
    T: Decidable,
    U: Decidable, 

fn decide() -> ExcM<Self>

Get excluded middle rule.

impl<A, B, T> POrd<T> for Or<A, B> where
    A: POrd<T>,
    B: POrd<T>,