pub trait Nor<Rhs = Self>where
    Rhs: ?Sized,{
    type Output;

    // Required method
    fn nor(&self, other: &Rhs) -> Self::Output;
}
Expand description

Binary operator for performing (NOT a) AND (NOT b).

Required Associated Types§

Required Methods§

source

fn nor(&self, other: &Rhs) -> Self::Output

Returns (NOT a) AND (NOT b).

Implementors§

source§

impl<E: Environment> Nor<Boolean<E>> for Boolean<E>

§

type Output = Boolean<E>