Type Definition core_extensions::type_level_bool::Nand

type Nand<L, R> = Not<And<L, R>>;

Nands 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);