Traits§
Functions§
- _verus_
external_ ⚠fn_ specification_ 1125_ Option_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 32__ 62__ 32__ 58__ 58__ 32_ is__ some - _verus_
external_ ⚠fn_ specification_ 1126_ Option_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 32__ 62__ 32__ 58__ 58__ 32_ is__ none - _verus_
external_ ⚠fn_ specification_ 1127_ Option_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 32__ 62__ 32__ 58__ 58__ 32_ as__ ref - _verus_
external_ ⚠fn_ specification_ 1128_ Option_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 32__ 62__ 32__ 58__ 58__ 32_ unwrap - _verus_
external_ ⚠fn_ specification_ 1129_ Option_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 32__ 62__ 32__ 58__ 58__ 32_ unwrap__ or - _verus_
external_ ⚠fn_ specification_ 1130_ Option_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 32__ 62__ 32__ 58__ 58__ 32_ expect - _verus_
external_ ⚠fn_ specification_ 1131_ Option_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 32__ 62__ 32__ 58__ 58__ 32_ take - _verus_
external_ ⚠fn_ specification_ 1132_ Option_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 32__ 62__ 32__ 58__ 58__ 32_ map - _verus_
external_ ⚠fn_ specification_ 1133_ Option_ 32__ 58__ 58__ 32__ 60__ 32__ 38__ 32__ 39_ a_ 32_ T_ 32__ 62__ 32__ 58__ 58__ 32_ cloned - _verus_
external_ ⚠fn_ specification_ 1134_ Option_ 32__ 58__ 58__ 32__ 60__ 32__ 38__ 32__ 39_ a_ 32_ T_ 32__ 62__ 32__ 58__ 58__ 32_ copied - _verus_
external_ ⚠fn_ specification_ 1135_ Option_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 32__ 62__ 32__ 58__ 58__ 32_ and__ then - _verus_
external_ ⚠fn_ specification_ 1136_ Option_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 32__ 62__ 32__ 58__ 58__ 32_ ok__ or__ else - _verus_
external_ ⚠fn_ specification_ 1137_ Option_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 32__ 62__ 32__ 58__ 58__ 32_ unwrap__ or__ default - _verus_
external_ ⚠fn_ specification_ 1138_ Option_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 32__ 62__ 32__ 58__ 58__ 32_ unwrap__ or__ else - _verus_
external_ ⚠fn_ specification_ 1139__ 60__ 32_ Option_ 32__ 60__ 32_ T_ 32__ 62__ 32_ as_ 32_ Clone_ 32__ 62__ 32__ 58__ 58__ 32_ clone - _verus_
external_ ⚠fn_ specification_ 1140__ 60__ 32_ Option_ 32__ 60__ 32_ T_ 32__ 62__ 32_ as_ 32_ Partial Eq_ 32__ 62__ 32__ 58__ 58__ 32_ eq - _verus_
external_ ⚠fn_ specification_ 1141__ 60__ 32_ Option_ 32__ 60__ 32_ T_ 32__ 62__ 32_ as_ 32_ Partial Ord_ 32__ 62__ 32__ 58__ 58__ 32_ partial__ cmp - _verus_
external_ ⚠fn_ specification_ 1142__ 60__ 32_ Option_ 32__ 60__ 32_ T_ 32__ 62__ 32_ as_ 32_ Ord_ 32__ 62__ 32__ 58__ 58__ 32_ cmp - _verus_
external_ ⚠fn_ specification_ 1143_ Option_ 32__ 58__ 58__ 32_ ok__ or - _verus_
external_ ⚠fn_ specification_ 1145_ Option_ 32__ 58__ 58__ 32_ as__ slice - is_none
- is_some
- spec_
expect - spec_
ok_ or - spec_
unwrap - spec_
unwrap_ or