Structs§
Functions§
- _verus_
external_ ⚠fn_ specification_ 56_ Result_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 44__ 32_ E_ 32__ 62__ 32__ 58__ 58__ 32_ branch - _verus_
external_ ⚠fn_ specification_ 57_ Option_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 32__ 62__ 32__ 58__ 58__ 32_ branch - _verus_
external_ ⚠fn_ specification_ 58_ Option_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 32__ 62__ 32__ 58__ 58__ 32_ from__ residual - _verus_
external_ ⚠fn_ specification_ 59_ 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