Searched refs:ObjType (Results 1 – 1 of 1) sorted by relevance
54 class ObjType: class73 self.types[type_name] = ObjType(self.next_type_prefix, type_name)