Type Definition type_freak::boolean::Iff

type Iff<Lhs, Rhs> = ApplyFunctor<IffPredicate<Rhs>, Lhs>;