Type Definition prop::Eq[][src]

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

Logical EQ.