Module float
vstd
Module float
Module Items
Traits
Functions
In crate vstd
vstd
Module
float
Copy item path
Source
Expand description
Properties of floating point values.
Traits
§
Float
Bits
Properties
Functions
§
_verus_
external_
fn_
specification_
959__
60__
32_
f32_
32_
as_
32_
Clone_
32__
62__
32__
58__
58__
32_
clone
⚠
_verus_
external_
fn_
specification_
960__
60__
32_
f64_
32_
as_
32_
Clone_
32__
62__
32__
58__
58__
32_
clone
⚠