Trait ResultAdditionalSpecFnsCopy item path

pub trait ResultAdditionalSpecFns<T, E> {
    // Required methods
    spec fn is_Ok(&self) -> bool;
    spec fn get_Ok_0(&self) -> T;
    spec fn is_Err(&self) -> bool;
    spec fn get_Err_0(&self) -> E;
}

Required Methods§

Implementations on Foreign Types§

{ is_variant(self, "Ok") }

{ get_variant_field(self, "Ok", "0") }

{ is_variant(self, "Err") }

{ get_variant_field(self, "Err", "0") }

Implementors§