Function vstd::std_specs::option::ex_option_is_none

source · 
pub exec fn ex_option_is_none<T>(option: &Option<T>) -> b : bool
Expand description
ensures
b == is_none(option),