~/jendhub

def Spans.lean_left.if

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

import bend-lint-rules@0.2.0.0/lib/text/main.bend as BendLintRules
import Base

65def Spans.lean_left.if(
66  outer: Bool,
67  ll: Spans,
68  lb: U32,
69  le: U32,
70  lr: Spans,
71  b: U32,
72  e: U32,
73  r: Spans
74) -> Spans:
75  match outer lr:
76    case False{} SNode{h, lrl, lrb, lre, lrr}:
77      Spans.node(Spans.node(ll, lb, le, lrl), lrb, lre, Spans.node(lrr, b, e, r))
78    case _ _:
79      Spans.node(ll, lb, le, Spans.node(lr, b, e, r))

Uses (4)

Used by (1)