(self, o)
| 536 | return ptr_array.contents[i] |
| 537 | |
| 538 | def lean_string_size(self, o): |
| 539 | str_cls = structs.get("lean_string_object") |
| 540 | s = ctypes.cast(o, POINTER(str_cls)) |
| 541 | return s.contents.m_size |
| 542 | |
| 543 | def lean_string_len(self, o): |
| 544 | str_cls = structs.get("lean_string_object") |
no test coverage detected