BendLintRules.Spans: type of bend-lint-rules@0.2.0.0 Import: import bend-lint-rules@0.2.0.0/lib/text/main.bend as BendLintRules Lines 46-50 of bend-lint-rules@0.2.0.0/lib/text/main.bend: https://jend.leeeet.dev/read.txt?path=bend-lint-rules@0.2.0.0/lib/text/main.bend&start_line=46&end_line=50 import Base # Spans that never touch (`Spans.touches`), by place: a balanced (AVL) tree, by start, then end; `height` counts its # levels. As spans never touch, their ends rise with their starts. type Spans is Data: SLeaf{} SNode{height: U32, left: Spans, beg: U32, end: U32, right: Spans} Uses (1): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32