Searched refs:label_map_back (Results 1 – 4 of 4) sorted by relevance
264 label_map_back: ArenaMap<LabelId, LabelSource>, field410 self.label_map_back[label].clone() in label_syntax()
193 self.source_map.label_map_back.insert(id, src); in make_label()