Structs§
Functions§
- _verus_
external_ ⚠fn_ specification_ 42_ Result_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 44__ 32_ E_ 32__ 62__ 32__ 58__ 58__ 32_ branch - _verus_
external_ ⚠fn_ specification_ 43_ Option_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 32__ 62__ 32__ 58__ 58__ 32_ branch - _verus_
external_ ⚠fn_ specification_ 44_ Option_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 32__ 62__ 32__ 58__ 58__ 32_ from__ residual - _verus_
external_ ⚠fn_ specification_ 45_ Result_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 44__ 32_ F_ 32__ 62__ 32__ 58__ 58__ 32_ from__ residual - group_
control_ flow_ axioms - spec_
from - spec_
from_ blanket_ identity