Function vstd::std_specs::option::is_some

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

{ is_variant(option, "Some") }