def Spans.node

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

import Base

59# The node over `l` and `r`, whose heights differ by one at most.
60def Spans.node(+l: Spans, b: U32, e: U32, +r: Spans) -> Spans:
61  +hl = Spans.height(l)
62  +hr = Spans.height(r)
63  SNode{(Bool.pick(U32, U32.is_ge(hl, hr), hl, hr) + 1: U32), l, b, e, r}