Fmt.Short.pick: def of bend-kit-fmt@0.1.0.0
Import: import bend-kit-fmt@0.1.0.0/fmt.bend as Fmt
Lines 232-246 of bend-kit-fmt@0.1.0.0/fmt.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-fmt@0.1.0.0/fmt.bend&start_line=232&end_line=246

import Base

def Short.pick(tc1: Bool, tc2: Bool, +d: U32, +r: List<&2, U32>,
  +s: List<&2, U32>, mp: List<&2, U32>, mm: List<&2, U32>) -> Dig:
  match tc1:
    case False{}:
      match tc2:
        case False{}:
          More{d, St{r, s, mp, mm}}
        case True{}:
          Last{U32.add(d, 1)}
    case True{}:
      match tc2:
        case False{}:
          Last{d}
        case True{}:
          Last{Short.near(Big.cmp(Big.mul(r, 2, 0), s), d)}

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.add
  https://jend.leeeet.dev/definition.txt?path=bend-kit-fmt@0.1.0.0/fmt.bend&name=Big.cmp
  https://jend.leeeet.dev/definition.txt?path=bend-kit-fmt@0.1.0.0/fmt.bend&name=Big.mul
  https://jend.leeeet.dev/definition.txt?path=bend-kit-fmt@0.1.0.0/fmt.bend&name=Dig
  https://jend.leeeet.dev/definition.txt?path=bend-kit-fmt@0.1.0.0/fmt.bend&name=Short.near
  https://jend.leeeet.dev/definition.txt?path=bend-kit-fmt@0.1.0.0/fmt.bend&name=St