BendLintRules.Spans.lean_right.if: 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 90-104 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=90&end_line=104

import Base

def Spans.lean_right.if(
  outer: Bool,
  l: Spans,
  b: U32,
  e: U32,
  rl: Spans,
  rb: U32,
  re: U32,
  rr: Spans
) -> Spans:
  match outer rl:
    case False{} SNode{h, rll, rlb, rle, rlr}:
      Spans.node(Spans.node(l, b, e, rll), rlb, rle, Spans.node(rlr, rb, re, rr))
    case _ _:
      Spans.node(Spans.node(l, b, e, rl), rb, re, rr)

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  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.node