def sub_if32

bend-collections-laws-math@1.0.0.0 · src/math/w64.bend:653

import Base
import bend-collections-laws-math@1.0.0.0/src/math/u64.bend as W

653def sub_if32(+r: W.U64, +m: U32, big: Bool) -> U32:
654  match big:
655    case True{}:
656      lo(sub(r, W.U64{m, 0}))
657    case False{}:
658      lo(r)