[−][src]Type Definition core_extensions::type_level_bool::Nand
type Nand<L, R> = Not<And<L, R>>;
Nand
s two Booleans
assert_eq!(Nand::<True ,True >::VALUE,false); assert_eq!(Nand::<False,True >::VALUE,true); assert_eq!(Nand::<True ,False>::VALUE,true); assert_eq!(Nand::<False,False>::VALUE,true);