def align

bend-lawful-stdlib@0.1.0.0 · src/float/sf32.bend:92

import Base
import bend-lawful-stdlib@0.1.0.0/src/float/bin.bend as Bin

92# m moved to have its last bit at exponent t
93def align(m: Bin.Bin, +e: Nat, +t: Nat, right: Bool) -> Bin.Bin:
94  match right:
95    case True{}:
96      first(Bin.shr(Nat.sub(t, e), m, False{}, False{}))
97    case False{}:
98      Bin.shl(m, Nat.sub(e, t))