(a: b_lean_obj_arg, i: b_lean_obj_arg)
| 22 | |
| 23 | #[inline] |
| 24 | pub unsafe fn lean_byte_array_get(a: b_lean_obj_arg, i: b_lean_obj_arg) -> u8 { |
| 25 | if lean_is_scalar(i) { |
| 26 | let i = lean_unbox(i); |
| 27 | if i < lean_sarray_size(a) { |
| 28 | lean_byte_array_uget(a, i) |
| 29 | } else { |
| 30 | 0 |
| 31 | } |
| 32 | } else { |
| 33 | /* The index must be out of bounds. Otherwise we would be out of memory. */ |
| 34 | 0 |
| 35 | } |
| 36 | } |
| 37 | |
| 38 | #[inline(always)] |
| 39 | pub unsafe fn lean_byte_array_fget(a: b_lean_obj_arg, i: b_lean_obj_arg) -> u8 { |
nothing calls this directly
no test coverage detected