package hfloat16

file_number 0 "/inputs/subtree/xls/dslx/stdlib/apfloat.x"
file_number 1 "/inputs/subtree/xls/dslx/stdlib/hfloat16.x"

top fn __hfloat16__flatten(f: (bits[1], bits[5], bits[10]) id=10) -> bits[16] {
  f_sign: bits[1] = tuple_index(f, index=0, id=16, pos=[(0,370,5), (1,59,20)])
  f_bexp: bits[5] = tuple_index(f, index=1, id=17, pos=[(0,370,15), (1,59,20)])
  f_fraction: bits[10] = tuple_index(f, index=2, id=18, pos=[(0,370,25), (1,59,20)])
  ret concat.19: bits[16] = concat(f_sign, f_bexp, f_fraction, id=19, pos=[(0,370,5), (1,59,20)])
}