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
§
ExIeee
Float
Cast
Float
Bits
Properties
Functions
§
_verus_
external_
fn_
specification_
964__
60__
32_
f32_
32_
as_
32_
Clone_
32__
62__
32__
58__
58__
32_
clone
⚠
_verus_
external_
fn_
specification_
965__
60__
32_
f64_
32_
as_
32_
Clone_
32__
62__
32__
58__
58__
32_
clone
⚠
float_
cast_
spec
ieee_
float_
cast