Skip to main content
nonzero_from_primitive
vstd
In vstd::
std_
specs::
nonzero
vstd
::
std_specs
::
nonzero
Function
nonzero_
from_
primitive
Copy item path
Source
pub
uninterp spec
fn nonzero_from_primitive<T:
ZeroablePrimitive
>(n: T) ->
NonZero
<T>
Expand description