lean_float32_to_int16

Function lean_float32_to_int16 

Source
pub fn lean_float32_to_int16(a: f32) -> u16