vstd
In vstd::
std_
specs::
option
vstd
::
std_specs
::
option
Function
is_some
Copy item path
Source
pub
open spec
fn is_some<T>(option: &
Option
<T>) ->
bool
Expand description
{ is_variant(option,
"Some"
) }