Type Definition prop::Eq

source ·
pub type Eq<T, U> = And<Imply<T, U>, Imply<U, T>>;
Expand description

Logical EQ.