BendLintRules.Spans.lean_left.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 65-79 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=65&end_line=79

import Base

def Spans.lean_left.if(
  outer: Bool,
  ll: Spans,
  lb: U32,
  le: U32,
  lr: Spans,
  b: U32,
  e: U32,
  r: Spans
) -> Spans:
  match outer lr:
    case False{} SNode{h, lrl, lrb, lre, lrr}:
      Spans.node(Spans.node(ll, lb, le, lrl), lrb, lre, Spans.node(lrr, b, e, r))
    case _ _:
      Spans.node(ll, lb, le, Spans.node(lr, b, e, r))

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