Function vstd::std_specs::option::ex_option_is_some

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