BendLintRules.Spans.lean_right: def of bend-lint-rules@0.2.0.0
Import: import bend-lint-rules@0.2.0.0/lib/text/main.bend as BendLintRules
Lines 106-112 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=106&end_line=112

import Base

# The node over `l` and `r`, where `r` is two levels higher: the mirror of `lean_left`.
def Spans.lean_right(l: Spans, b: U32, e: U32, r: Spans) -> Spans:
  match r:
    case SNode{h, +rl, rb, re, +rr}:
      Spans.lean_right.if(U32.is_ge(Spans.height(rr), Spans.height(rl)), l, b, e, rl, rb, re, rr)
    case SLeaf{}:
      Spans.node(l, b, e, SLeaf{})

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_ge
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/lib/text/main.bend&name=Spans
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/lib/text/main.bend&name=Spans.height
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/lib/text/main.bend&name=Spans.lean_right.if
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/lib/text/main.bend&name=Spans.node