package hfloat16

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

top fn __hfloat16__inf(sign: bits[1] id=10) -> (bits[1], bits[5], bits[10]) {
  literal.17: bits[5] = literal(value=31, id=17, pos=[(1,78,28), (2,28,43)])
  literal.18: bits[10] = literal(value=0, id=18, pos=[(1,79,18), (2,28,43)])
  ret tuple.20: (bits[1], bits[5], bits[10]) = tuple(sign, literal.17, literal.18, id=20, pos=[(1,76,33), (2,28,43)])
}