Function is_some Copy item path

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

{ is_variant(option, "Some") }