Structs§
Traits§
- Binary
Spec - Binary
Spec Impl - Debug
Spec - Debug
Spec Impl - Display
Spec - Display
Spec Impl - ExBinary
- ExDebug
- ExDisplay
- ExLower
Exp - ExLower
Hex - ExOctal
- ExPointer
- ExUpper
Exp - ExUpper
Hex - Lower
ExpSpec - Lower
ExpSpec Impl - Lower
HexSpec - Lower
HexSpec Impl - Octal
Spec - Octal
Spec Impl - Pointer
Spec - Pointer
Spec Impl - Upper
ExpSpec - Upper
ExpSpec Impl - Upper
HexSpec - Upper
HexSpec Impl
Functions§
- _verus_
external_ ⚠fn_ specification_ 392_ Arguments_ 32__ 58__ 58__ 32__ 60__ 32__ 39_ a_ 32__ 62__ 32__ 58__ 58__ 32_ from__ str - _verus_
external_ ⚠fn_ specification_ 393_ Arguments_ 32__ 58__ 58__ 32__ 60__ 32__ 39_ a_ 32__ 62__ 32__ 58__ 58__ 32_ from__ str__ nonconst - _verus_
external_ ⚠fn_ specification_ 395_ alloc_ 32__ 58__ 58__ 32_ fmt_ 32__ 58__ 58__ 32_ format - axiom_
fmt_ req_ all_ binary - axiom_
fmt_ req_ all_ bool - axiom_
fmt_ req_ all_ char - axiom_
fmt_ req_ all_ debug - axiom_
fmt_ req_ all_ display - axiom_
fmt_ req_ all_ f32 - axiom_
fmt_ req_ all_ f64 - axiom_
fmt_ req_ all_ i8 - axiom_
fmt_ req_ all_ i16 - axiom_
fmt_ req_ all_ i32 - axiom_
fmt_ req_ all_ i64 - axiom_
fmt_ req_ all_ i128 - axiom_
fmt_ req_ all_ isize - axiom_
fmt_ req_ all_ lower_ exp - axiom_
fmt_ req_ all_ lower_ hex - axiom_
fmt_ req_ all_ octal - axiom_
fmt_ req_ all_ pointer - axiom_
fmt_ req_ all_ ref - axiom_
fmt_ req_ all_ str - axiom_
fmt_ req_ all_ string - axiom_
fmt_ req_ all_ u8 - axiom_
fmt_ req_ all_ u16 - axiom_
fmt_ req_ all_ u32 - axiom_
fmt_ req_ all_ u64 - axiom_
fmt_ req_ all_ u128 - axiom_
fmt_ req_ all_ upper_ exp - axiom_
fmt_ req_ all_ upper_ hex - axiom_
fmt_ req_ all_ usize - fmt_
req_ all - group_
fmt_ axioms