Function lean_float_mul

src/primitive/float.rs:49–51

(a: f64, b: f64)

    a - b
}
pub fn lean_float_mul(a: f64, b: f64) -> f64 {
    a * b
}
pub fn lean_float_div(a: f64, b: f64) -> f64 {
    a / b
}