Traits§
Functions§
- _verus_
external_ ⚠fn_ specification_ 517_ Result_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 44__ 32_ E_ 32__ 62__ 32__ 58__ 58__ 32_ is__ ok - _verus_
external_ ⚠fn_ specification_ 518_ Result_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 44__ 32_ E_ 32__ 62__ 32__ 58__ 58__ 32_ is__ err - _verus_
external_ ⚠fn_ specification_ 519_ Result_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 44__ 32_ E_ 32__ 62__ 32__ 58__ 58__ 32_ as__ ref - _verus_
external_ ⚠fn_ specification_ 520_ Result_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 44__ 32_ E_ 32__ 62__ 32__ 58__ 58__ 32_ unwrap - _verus_
external_ ⚠fn_ specification_ 521_ Result_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 44__ 32_ E_ 32__ 62__ 32__ 58__ 58__ 32_ unwrap__ err - _verus_
external_ ⚠fn_ specification_ 522_ Result_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 44__ 32_ E_ 32__ 62__ 32__ 58__ 58__ 32_ expect - _verus_
external_ ⚠fn_ specification_ 523_ Result_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 44__ 32_ E_ 32__ 62__ 32__ 58__ 58__ 32_ map - _verus_
external_ ⚠fn_ specification_ 524_ Result_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 44__ 32_ E_ 32__ 62__ 32__ 58__ 58__ 32_ map__ err - _verus_
external_ ⚠fn_ specification_ 525_ Result_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 44__ 32_ E_ 32__ 62__ 32__ 58__ 58__ 32_ ok - _verus_
external_ ⚠fn_ specification_ 526_ Result_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 44__ 32_ E_ 32__ 62__ 32__ 58__ 58__ 32_ err - err
- is_err
- is_ok
- ok
- spec_
expect - spec_
unwrap - spec_
unwrap_ err