~/jendhub

def Short.fix.down

bend-kit-fmt@0.1.0.0 · fmt.bend:313

import bend-kit-fmt@0.1.0.0/fmt.bend as Fmt
import Base

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

Uses (10)

Used by (1)