Sf32.align: def of bend-lawful-stdlib@0.1.0.0
Import: import bend-lawful-stdlib@0.1.0.0/src/float/sf32.bend as Sf32
Lines 92-98 of bend-lawful-stdlib@0.1.0.0/src/float/sf32.bend: https://jend.leeeet.dev/read.txt?path=bend-lawful-stdlib@0.1.0.0/src/float/sf32.bend&start_line=92&end_line=98

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

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

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=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.sub
  https://jend.leeeet.dev/definition.txt?path=bend-lawful-stdlib@0.1.0.0/src/float/bin.bend&name=Bin
  https://jend.leeeet.dev/definition.txt?path=bend-lawful-stdlib@0.1.0.0/src/float/bin.bend&name=shl
  https://jend.leeeet.dev/definition.txt?path=bend-lawful-stdlib@0.1.0.0/src/float/bin.bend&name=shr
  https://jend.leeeet.dev/definition.txt?path=bend-lawful-stdlib@0.1.0.0/src/float/sf32.bend&name=first