Searched refs:has_elt (Results 1 – 2 of 2) sorted by relevance
22 def has_elt(self, elt): member in Set
146 if self.names.has_elt(elt):267 return self.locals.top().has_elt(name)