Fmt.Short.high: def of bend-kit-fmt@0.1.0.0
Import: import bend-kit-fmt@0.1.0.0/fmt.bend as Fmt
Lines 206-213 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=206&end_line=213

import Base

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

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Cmp.is_ge
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Cmp.is_gt
  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=bend-kit-fmt@0.1.0.0/fmt.bend&name=Big.add
  https://jend.leeeet.dev/definition.txt?path=bend-kit-fmt@0.1.0.0/fmt.bend&name=Big.cmp