Type Definition prop::Iff[][src]

type Iff<T, U> = Eq<T, U>;

Alternative to Logical EQ.