def Spans.cmp

bend-lint-rules@0.2.0.0 · lib/text/main.bend:138

import Base

138# How the span from `b` to `e` compares with the root's of `t`, by start, then end; GT past a leaf.
139def Spans.cmp(t: Spans, b: U32, e: U32) -> Cmp:
140  match t:
141    case SNode{h, l, x, y, r}:
142      Spans.cmp.of(U32.cmp(b, x), e, y)
143    case SLeaf{}:
144      GT{}