Function creusot_contracts::std::intrinsics::minnumf64

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

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

Returns the minimum 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::min