Function is_noneCopy item path

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

{ is_variant(option, "None") }