pub trait Equals<T: Nat> {
type Result: Bool;
}
Expand description
§Equality testing
type TwoPlusTwo = <Two as Plus<Two>>::Result;
type IsFour = <TwoPlusTwo as Equals<Four>>::Result;
assert_eq!(IsFour::eval(), true);
type MinusOne = <TwoPlusTwo as Minus<One>>::Result;
type ThatsThree = <MinusOne as Equals<Three>>::Result;
assert_eq!(ThatsThree::eval(), true); // quick maffs
assert_eq!(<Zero as Equals<One>>::Result::eval(), false);