Function lean_sys::constructor::lean_ctor_set_float
source · pub unsafe fn lean_ctor_set_float(o: b_lean_obj_arg, offset: c_uint, v: f64)
pub unsafe fn lean_ctor_set_float(o: b_lean_obj_arg, offset: c_uint, v: f64)