Trait vstd::std_specs::result::ResultAdditionalSpecFns
source · pub trait ResultAdditionalSpecFns<T, E> {
// Required methods
fn is_Ok(&self) -> bool;
fn get_Ok_0(&self) -> T;
fn is_Err(&self) -> bool;
fn get_Err_0(&self) -> E;
}