Searched defs:drain_end (Results 1 – 1 of 1) sorted by relevance
115 let drain_end = self.ranges.len(); in intersect() localVariable157 let drain_end = self.ranges.len(); in difference() localVariable261 let drain_end = self.ranges.len(); in negate() localVariable292 let drain_end = self.ranges.len(); in canonicalize() localVariable