Fmt.Short.fix.down: def of bend-kit-fmt@0.1.0.0
Import: import bend-kit-fmt@0.1.0.0/fmt.bend as Fmt
Lines 313-322 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=313&end_line=322

import Base

def Short.fix.down(+even: Bool, sk: St & U32) -> St & U32:
  (st, k) = sk
  match st:
    case St{r, s, mp, mm}:
      +r1 = {r : List<&2, U32>}
      +s1 = {s : List<&2, U32>}
      +mp1 = {mp : List<&2, U32>}
      Short.down(64n, even,
        Bool.not(Short.high(even, Big.mul(r1, 10, 0), Big.mul(mp1, 10, 0), s1)),
        St{r1, s1, mp1, mm}, k)

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.not
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  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=Short.down
  https://jend.leeeet.dev/definition.txt?path=bend-kit-fmt@0.1.0.0/fmt.bend&name=Short.high
  https://jend.leeeet.dev/definition.txt?path=bend-kit-fmt@0.1.0.0/fmt.bend&name=St