vstd::std_specs::option

Function is_none

Source
pub open spec fn is_none<T>(option: &Option<T>) -> bool
Expand description
{ is_variant(option, "None") }