Function creusot_contracts::std::intrinsics::fsub_algebraic

source · 
pub extern "rust-intrinsic" fn fsub_algebraic<T>(a: T, b: T) -> T
where
    T: Copy,
🔬This is a nightly-only experimental API. (core_intrinsics)
Expand description

Float subtraction that allows optimizations based on algebraic rules.

This intrinsic does not have a stable counterpart.