(a: b_lean_obj_arg, i: b_lean_obj_arg)
| 31 | |
| 32 | #[inline] |
| 33 | pub unsafe fn lean_float_array_get(a: b_lean_obj_arg, i: b_lean_obj_arg) -> f64 { |
| 34 | if lean_is_scalar(i) { |
| 35 | let i = lean_unbox(i); |
| 36 | if i < lean_sarray_size(a) { |
| 37 | lean_float_array_uget(a, i) |
| 38 | } else { |
| 39 | 0.0 |
| 40 | } |
| 41 | } else { |
| 42 | /* The index must be out of bounds. Otherwise we would be out of memory. */ |
| 43 | 0.0 |
| 44 | } |
| 45 | } |
| 46 | |
| 47 | #[inline(always)] |
| 48 | pub unsafe fn lean_float_array_fget(a: b_lean_obj_arg, i: b_lean_obj_arg) -> f64 { |
nothing calls this directly
no test coverage detected