Function creusot_contracts::std::intrinsics::sqrtf64

pub unsafe extern "rust-intrinsic" fn sqrtf64(x: f64) -> f64

🔬This is a nightly-only experimental API. (core_intrinsics)

Returns the square root of an f64

The stabilized version of this intrinsic is f64::sqrt