Arms.widen: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/rules/correctness/arms.bend as Arms
Lines 69-77 of bolt@1.27.0.0/src/rules/correctness/arms.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/rules/correctness/arms.bend&start_line=69&end_line=77

import Base

# the widest n+p arm after this one
def widen(ww: Maybe<&2, Wide>, aa: Arm) -> Maybe<&2, Wide>:
  match ww aa:
    case None{} APlus{k, text, l, c, n}:
      Some{Wide{k, text}}
    case Some{Wide{+k, +text}} APlus{+j, +t2, l, c, n}:
      Bool.pick(Maybe<&2, Wide>, U32.is_lt(j, k), Some{Wide{j, t2}}, Some{Wide{k, text}})
    case w2 a2:
      w2

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_lt
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/correctness/arms.bend&name=Arm
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/correctness/arms.bend&name=Wide