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