ne_ensures
vstd
In vstd::
std_
specs::
cmp
vstd
::
std_specs
::
cmp
Function
ne_
ensures
Copy item path
Source
pub
uninterp
fn ne_ensures<A>(x: A, y: A, o:
bool
) ->
bool
Expand description