hax_lib::prop::constructors

Function ne

Source 
pub fn ne<T>(_lhs: T, _rhs: T) -> Prop