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