Function vstd::std_specs::result::is_ok

pub open spec fn is_ok<T, E>(result: &Result<T, E>) -> bool

{ is_variant(result, "Ok") }