Traits§
Functions§
- _verus_
external_ ⚠fn_ specification_ 1145_ Result_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 44__ 32_ E_ 32__ 62__ 32__ 58__ 58__ 32_ is__ ok - _verus_
external_ ⚠fn_ specification_ 1146_ Result_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 44__ 32_ E_ 32__ 62__ 32__ 58__ 58__ 32_ is__ err - _verus_
external_ ⚠fn_ specification_ 1147_ Result_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 44__ 32_ E_ 32__ 62__ 32__ 58__ 58__ 32_ as__ ref - _verus_
external_ ⚠fn_ specification_ 1148_ Result_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 44__ 32_ E_ 32__ 62__ 32__ 58__ 58__ 32_ unwrap - _verus_
external_ ⚠fn_ specification_ 1149_ Result_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 44__ 32_ E_ 32__ 62__ 32__ 58__ 58__ 32_ unwrap__ err - _verus_
external_ ⚠fn_ specification_ 1150_ Result_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 44__ 32_ E_ 32__ 62__ 32__ 58__ 58__ 32_ expect - _verus_
external_ ⚠fn_ specification_ 1151_ Result_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 44__ 32_ E_ 32__ 62__ 32__ 58__ 58__ 32_ map - _verus_
external_ ⚠fn_ specification_ 1152_ Result_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 44__ 32_ E_ 32__ 62__ 32__ 58__ 58__ 32_ map__ err - _verus_
external_ ⚠fn_ specification_ 1153_ Result_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 44__ 32_ E_ 32__ 62__ 32__ 58__ 58__ 32_ ok - _verus_
external_ ⚠fn_ specification_ 1154_ 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