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