def Spans.lean_right.if
bend-lint-rules@0.2.0.0 · lib/text/main.bend:90
import bend-lint-rules@0.2.0.0/lib/text/main.bend as BendLintRules
import Base
90def Spans.lean_right.if(
91 outer: Bool,
92 l: Spans,
93 b: U32,
94 e: U32,
95 rl: Spans,
96 rb: U32,
97 re: U32,
98 rr: Spans
99) -> Spans:
100 match outer rl:
101 case False{} SNode{h, rll, rlb, rle, rlr}:
102 Spans.node(Spans.node(l, b, e, rll), rlb, rle, Spans.node(rlr, rb, re, rr))
103 case _ _:
104 Spans.node(Spans.node(l, b, e, rl), rb, re, rr)