Function lean_float_negate

src/primitive/float.rs:55–57

(a: f64)

    a / b
}
pub fn lean_float_negate(a: f64) -> f64 {
    -a
}
pub fn lean_float_beq(a: f64, b: f64) -> u8 {
    (a == b) as u8
}