(s: b_lean_obj_arg, i: b_lean_obj_arg)
| 56 | |
| 57 | #[inline] |
| 58 | pub unsafe fn lean_string_utf8_at_end(s: b_lean_obj_arg, i: b_lean_obj_arg) -> u8 { |
| 59 | (!lean_is_scalar(i) || lean_unbox(i) >= lean_string_size(s) - 1) as u8 |
| 60 | } |
| 61 | |
| 62 | #[inline(always)] |
| 63 | pub unsafe fn lean_string_utf8_byte_size(s: b_lean_obj_arg) -> lean_obj_res { |
nothing calls this directly
no test coverage detected