Function creusot_contracts::std::intrinsics::frem_algebraic

pub extern "rust-intrinsic" fn frem_algebraic<T>(a: T, b: T) -> T
where
    T: Copy,

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

Float remainder that allows optimizations based on algebraic rules.

This intrinsic does not have a stable counterpart.