pub trait Not: Bool {
type Result: Bool;
}Expand description
§Logical Not
Negate any boolean you like at compile-time.
(¬¬(P V ¬P) - just saying.)
assert_eq!(<True as Not>::Result::eval(), false);
assert_eq!(<False as Not>::Result::eval(), true);