Function vstd::std_specs::option::is_none

pub open spec fn is_none<T>(option: &Option<T>) -> bool

{ is_variant(option, "None") }