Function lean_float_decLt

src/primitive/float.rs:64–66

(a: f64, b: f64)

    (a <= b) as u8
}
pub fn lean_float_decLt(a: f64, b: f64) -> u8 {
    (a < b) as u8
}
pub fn lean_uint8_to_float(a: u8) -> f64 {
    a as f64
}