Type Definition prop::Eq

pub type Eq<T, U> = And<Imply<T, U>, Imply<U, T>>;

Logical EQ.

Trait Implementations

impl<T: Prop, U: Prop> Commutative<T, U> for Eq<T, U>

type Out = Eq<U, T>

The output type for commuted product.

fn commute(self) -> Self::Out

Commutes product.

impl<T: Prop, U: Prop> Product<T, U> for Eq<T, U>

fn mul(a: T, b: U) -> Self

Creates a product out of two propositions.