Traits§
Functions§
- _verus_
external_ ⚠fn_ specification_ 1168_ Result_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 44__ 32_ E_ 32__ 62__ 32__ 58__ 58__ 32_ is__ ok - _verus_
external_ ⚠fn_ specification_ 1169_ Result_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 44__ 32_ E_ 32__ 62__ 32__ 58__ 58__ 32_ is__ err - _verus_
external_ ⚠fn_ specification_ 1170_ Result_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 44__ 32_ E_ 32__ 62__ 32__ 58__ 58__ 32_ as__ ref - _verus_
external_ ⚠fn_ specification_ 1171_ Result_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 44__ 32_ E_ 32__ 62__ 32__ 58__ 58__ 32_ unwrap - _verus_
external_ ⚠fn_ specification_ 1172_ Result_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 44__ 32_ E_ 32__ 62__ 32__ 58__ 58__ 32_ unwrap__ err - _verus_
external_ ⚠fn_ specification_ 1173_ Result_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 44__ 32_ E_ 32__ 62__ 32__ 58__ 58__ 32_ expect - _verus_
external_ ⚠fn_ specification_ 1174_ Result_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 44__ 32_ E_ 32__ 62__ 32__ 58__ 58__ 32_ map - _verus_
external_ ⚠fn_ specification_ 1175_ Result_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 44__ 32_ E_ 32__ 62__ 32__ 58__ 58__ 32_ map__ err - _verus_
external_ ⚠fn_ specification_ 1176_ Result_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 44__ 32_ E_ 32__ 62__ 32__ 58__ 58__ 32_ ok - _verus_
external_ ⚠fn_ specification_ 1177_ 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