(a: f64, b: f64)
| 59 | (a == b) as u8 |
| 60 | } |
| 61 | pub fn lean_float_decLe(a: f64, b: f64) -> u8 { |
| 62 | (a <= b) as u8 |
| 63 | } |
| 64 | pub fn lean_float_decLt(a: f64, b: f64) -> u8 { |
| 65 | (a < b) as u8 |
| 66 | } |
nothing calls this directly
no outgoing calls
no test coverage detected