(s: b_lean_obj_arg)
| 61 | |
| 62 | #[inline(always)] |
| 63 | pub unsafe fn lean_string_utf8_byte_size(s: b_lean_obj_arg) -> lean_obj_res { |
| 64 | lean_box(lean_string_size(s) - 1) |
| 65 | } |
| 66 | |
| 67 | #[inline] |
| 68 | pub unsafe fn lean_string_eq(s1: b_lean_obj_arg, s2: b_lean_obj_arg) -> bool { |
nothing calls this directly
no test coverage detected