hax_lib::prop::constructors

Function eq

Source 
pub fn eq<T>(_lhs: T, _rhs: T) -> Prop
Expand description

Logical equality between two value of any type