Dtype.f16_mag: def of bendtorch@1.3.0.0
Import: import bendtorch@1.3.0.0/dtype.bend as Dtype
Lines 88-97 of bendtorch@1.3.0.0/dtype.bend: https://jend.leeeet.dev/read.txt?path=bendtorch@1.3.0.0/dtype.bend&start_line=88&end_line=97

import Base

def f16_mag(nan: Bool, normal: Bool, tiny: Bool, +a: U32) -> U32:
  match nan normal tiny:
    case True{} _ _:
      f16_nan(a)
    case False{} True{} _:
      f16_normal(a)
    case False{} False{} True{}:
      0
    case False{} False{} False{}:
      f16_sub(a)

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bendtorch@1.3.0.0/dtype.bend&name=f16_nan
  https://jend.leeeet.dev/definition.txt?path=bendtorch@1.3.0.0/dtype.bend&name=f16_normal
  https://jend.leeeet.dev/definition.txt?path=bendtorch@1.3.0.0/dtype.bend&name=f16_sub