(&self, idx: u32)
| 104 | /// Returns the string for the given string index |
| 105 | #[inline] |
| 106 | pub fn get_string(&self, idx: u32) -> &'a str { |
| 107 | let end_offset = self.string_offsets[idx as usize + 1]; |
| 108 | let start_offset = self.string_offsets[idx as usize]; |
| 109 | // SAFETY: |
| 110 | // Verified offsets |
| 111 | unsafe { self.strings.get_unchecked(start_offset..end_offset) } |
| 112 | } |
| 113 | |
| 114 | /// Returns the tape element at `idx` |
| 115 | pub fn get(&self, idx: u32) -> TapeElement { |