def Short.high

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

import Base

206# An even mantissa reads back from either bound, so the bounds count.
207def Short.high(even: Bool, r: List<&2, U32>, mp: List<&2, U32>,
208  s: List<&2, U32>) -> Bool:
209  match even:
210    case True{}:
211      Cmp.is_ge(Big.cmp(Big.add(r, mp, 0), s))
212    case False{}:
213      Cmp.is_gt(Big.cmp(Big.add(r, mp, 0), s))