Traits§
Functions§
- _verus_
external_ ⚠fn_ specification_ 1183_ Result_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 44__ 32_ E_ 32__ 62__ 32__ 58__ 58__ 32_ is__ ok - _verus_
external_ ⚠fn_ specification_ 1184_ Result_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 44__ 32_ E_ 32__ 62__ 32__ 58__ 58__ 32_ is__ err - _verus_
external_ ⚠fn_ specification_ 1185_ Result_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 44__ 32_ E_ 32__ 62__ 32__ 58__ 58__ 32_ as__ ref - _verus_
external_ ⚠fn_ specification_ 1186_ Result_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 44__ 32_ E_ 32__ 62__ 32__ 58__ 58__ 32_ unwrap - _verus_
external_ ⚠fn_ specification_ 1187_ Result_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 44__ 32_ E_ 32__ 62__ 32__ 58__ 58__ 32_ unwrap__ err - _verus_
external_ ⚠fn_ specification_ 1188_ Result_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 44__ 32_ E_ 32__ 62__ 32__ 58__ 58__ 32_ unwrap__ unchecked - _verus_
external_ ⚠fn_ specification_ 1189_ Result_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 44__ 32_ E_ 32__ 62__ 32__ 58__ 58__ 32_ unwrap__ err__ unchecked - _verus_
external_ ⚠fn_ specification_ 1190_ Result_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 44__ 32_ E_ 32__ 62__ 32__ 58__ 58__ 32_ expect - _verus_
external_ ⚠fn_ specification_ 1191_ Result_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 44__ 32_ E_ 32__ 62__ 32__ 58__ 58__ 32_ expect__ err - _verus_
external_ ⚠fn_ specification_ 1192_ Result_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 44__ 32_ E_ 32__ 62__ 32__ 58__ 58__ 32_ map - _verus_
external_ ⚠fn_ specification_ 1193_ Result_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 44__ 32_ E_ 32__ 62__ 32__ 58__ 58__ 32_ map__ err - _verus_
external_ ⚠fn_ specification_ 1194_ Result_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 44__ 32_ E_ 32__ 62__ 32__ 58__ 58__ 32_ map__ or - _verus_
external_ ⚠fn_ specification_ 1195_ Result_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 44__ 32_ E_ 44__ 32__ 62__ 32__ 58__ 58__ 32_ map__ or__ else - _verus_
external_ ⚠fn_ specification_ 1196_ Result_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 44__ 32_ E_ 32__ 62__ 32__ 58__ 58__ 32_ is__ ok__ and - _verus_
external_ ⚠fn_ specification_ 1197_ Result_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 44__ 32_ E_ 32__ 62__ 32__ 58__ 58__ 32_ is__ err__ and - _verus_
external_ ⚠fn_ specification_ 1198_ Result_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 44__ 32_ E_ 32__ 62__ 32__ 58__ 58__ 32_ inspect - _verus_
external_ ⚠fn_ specification_ 1199_ Result_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 44__ 32_ E_ 32__ 62__ 32__ 58__ 58__ 32_ inspect__ err - _verus_
external_ ⚠fn_ specification_ 1200_ Result_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 44__ 32_ E_ 32__ 62__ 32__ 58__ 58__ 32_ and - _verus_
external_ ⚠fn_ specification_ 1201_ Result_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 44__ 32_ E_ 32__ 62__ 32__ 58__ 58__ 32_ and__ then - _verus_
external_ ⚠fn_ specification_ 1202_ Result_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 44__ 32_ E_ 32__ 62__ 32__ 58__ 58__ 32_ or - _verus_
external_ ⚠fn_ specification_ 1203_ Result_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 44__ 32_ E_ 32__ 62__ 32__ 58__ 58__ 32_ or__ else - _verus_
external_ ⚠fn_ specification_ 1204_ Result_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 44__ 32_ E_ 32__ 62__ 32__ 58__ 58__ 32_ unwrap__ or - _verus_
external_ ⚠fn_ specification_ 1205_ Result_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 44__ 32_ E_ 32__ 62__ 32__ 58__ 58__ 32_ unwrap__ or__ else - _verus_
external_ ⚠fn_ specification_ 1206_ Result_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 44__ 32_ E_ 32__ 62__ 32__ 58__ 58__ 32_ unwrap__ or__ default - _verus_
external_ ⚠fn_ specification_ 1207_ Result_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 44__ 32_ E_ 32__ 62__ 32__ 58__ 58__ 32_ ok - _verus_
external_ ⚠fn_ specification_ 1208_ Result_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 44__ 32_ E_ 32__ 62__ 32__ 58__ 58__ 32_ err - _verus_
external_ ⚠fn_ specification_ 1209_ Result_ 32__ 58__ 58__ 32__ 60__ 32_ Option_ 32__ 60__ 32_ T_ 32__ 62__ 32__ 44__ 32_ E_ 32__ 62__ 32__ 58__ 58__ 32_ transpose - _verus_
external_ ⚠fn_ specification_ 1210_ Result_ 32__ 58__ 58__ 32__ 60__ 32_ Result_ 32__ 60__ 32_ T_ 44__ 32_ E_ 32__ 62__ 32__ 44__ 32_ E_ 32__ 62__ 32__ 58__ 58__ 32_ flatten - err
- is_err
- is_ok
- ok
- spec_
expect - spec_
expect_ err - spec_
unwrap - spec_
unwrap_ err