Type Definition core_extensions::type_level_bool::Implies

type Implies<L, R> = Or<Not<L>, R>;

Logical implication

This type alias takes Boolean parameters and evaluates to either True or False.

assert_eq!(Implies::<True ,True >::VALUE,true);

assert_eq!(Implies::<False,True >::VALUE,true);

assert_eq!(Implies::<True ,False>::VALUE,false);

assert_eq!(Implies::<False,False>::VALUE,true);