(id: number)
| 150 | } |
| 151 | |
| 152 | function serializeMapID(id: number): string { |
| 153 | return class="st">'$Q' + id.toString(16); |
| 154 | } |
| 155 | |
| 156 | function serializeSetID(id: number): string { |
| 157 | return class="st">'$W' + id.toString(16); |
no test coverage detected