Function creusot_contracts::std::intrinsics::maxnumf64

pub extern "rust-intrinsic" fn maxnumf64(x: f64, y: f64) -> f64

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

Returns the maximum of two f64 values.

Note that, unlike most intrinsics, this is safe to call; it does not require an unsafe block. Therefore, implementations must not require the user to uphold any safety invariants.

The stabilized version of this intrinsic is f64::max