Lines Matching defs:indent_level
150 # It's A Theorem that m.indent_level(t) ==
151 # n.indent_level(t) for all t >= 1 iff m.norm == n.norm.
184 def indent_level(self, tabsize):
205 # return true iff self.indent_level(t) == other.indent_level(t)
211 # i1 == self.indent_level(ts) != other.indent_level(ts) == i2.
219 if self.indent_level(ts) != other.indent_level(ts):
221 self.indent_level(ts),
222 other.indent_level(ts)) )
225 # Return True iff self.indent_level(t) < other.indent_level(t)
247 if self.indent_level(ts) >= other.indent_level(ts):
252 # i1 == self.indent_level(ts) >= other.indent_level(ts) == i2.
260 if self.indent_level(ts) >= other.indent_level(ts):
262 self.indent_level(ts),
263 other.indent_level(ts)) )
