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