creusot_contracts
0.3.0
In creusot_contracts::std::f64::consts
Constant
creusot_contracts
::
std
::
f64
::
consts
::
FRAC_1_PI
Copy item path
1.0.0
·
source
·
[
−
]
pub const FRAC_1_PI:
f64
= 0.318309886183790671537767526745028724_f64; // 0.31830988618379069f64
Expand description
1/π