(self, other)
| 206 | # return true iff self.indent_level(t) == other.indent_level(t) |
| 207 | # for all t >= 1 |
| 208 | def equal(self, other): |
| 209 | return self.norm == other.norm |
| 210 | |
| 211 | # return a list of tuples (ts, i1, i2) such that |
| 212 | # i1 == self.indent_level(ts) != other.indent_level(ts) == i2. |