Function lean_sys::primitive::float::lean_float_scaleb

source · 
pub unsafe extern "C" fn lean_float_scaleb(
    a: f64,
    b: b_lean_obj_arg
) -> f64