implies

hax_lib::prop::constructors

Function implies 

Source 
pub fn implies(lhs: Prop, other: Prop) -> Prop