creusot_contracts
0.3.0
In creusot_contracts::std::f16::consts
Constant
creusot_contracts
::
std
::
f16
::
consts
::
SQRT_3
Copy item path
source
·
[
−
]
pub const SQRT_3:
f16
= 1.732050807568877293527446341505872367_f16; // 1.7324f16
🔬
This is a nightly-only experimental API. (
f16
)
Expand description
sqrt(3)