Closed braddunbar closed 5 months ago
If at == self.len() then we already know at <= self.len(). If at == 0, it can't be greater than self.len().
at == self.len()
at <= self.len()
at == 0
self.len()
If
at == self.len()
then we already knowat <= self.len()
. Ifat == 0
, it can't be greater thanself.len()
.