Type Definition Implies
core_extensions::type_level_bool
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);