16     def __init__(self, first_char, last_char, prop_type):  argument
17         self.first_char = first_char
18         self.last_char = last_char
19         self.prop_type = prop_type
21     def key(self):  argument
22         return self.first_char
24     def merge(self, other):  argument
25         if self.last_char + 1 == other.first_char and self.prop_type == other.prop_type:
26             self.last_char = other.last_char
30     def __repr__(self):  argument
33             if enum_int & self.prop_type:
36                 "{", self.first_char, self.last_char, ' | '.join(types), "}")