Skip to main content
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_
979__
60__
32_
f32_
32_
as_
32_
Clone_
32__
62__
32__
58__
58__
32_
clone
⚠
_verus_
external_
fn_
specification_
980__
60__
32_
f64_
32_
as_
32_
Clone_
32__
62__
32__
58__
58__
32_
clone
⚠
float_
cast_
spec
ieee_
float_
cast