Traits§
Functions§
- _verus_
external_ ⚠fn_ specification_ 783_ Result_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 44__ 32_ E_ 32__ 62__ 32__ 58__ 58__ 32_ is__ ok - _verus_
external_ ⚠fn_ specification_ 784_ Result_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 44__ 32_ E_ 32__ 62__ 32__ 58__ 58__ 32_ is__ err - _verus_
external_ ⚠fn_ specification_ 785_ Result_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 44__ 32_ E_ 32__ 62__ 32__ 58__ 58__ 32_ as__ ref - _verus_
external_ ⚠fn_ specification_ 786_ Result_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 44__ 32_ E_ 32__ 62__ 32__ 58__ 58__ 32_ unwrap - _verus_
external_ ⚠fn_ specification_ 787_ Result_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 44__ 32_ E_ 32__ 62__ 32__ 58__ 58__ 32_ unwrap__ err - _verus_
external_ ⚠fn_ specification_ 788_ Result_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 44__ 32_ E_ 32__ 62__ 32__ 58__ 58__ 32_ expect - _verus_
external_ ⚠fn_ specification_ 789_ Result_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 44__ 32_ E_ 32__ 62__ 32__ 58__ 58__ 32_ map - _verus_
external_ ⚠fn_ specification_ 790_ Result_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 44__ 32_ E_ 32__ 62__ 32__ 58__ 58__ 32_ map__ err - _verus_
external_ ⚠fn_ specification_ 791_ Result_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 44__ 32_ E_ 32__ 62__ 32__ 58__ 58__ 32_ ok - _verus_
external_ ⚠fn_ specification_ 792_ 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