package bfloat16

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/bfloat16.x"

top fn __bfloat16__qnan() -> (bits[1], bits[8], bits[7]) {
  ret literal.28: (bits[1], bits[8], bits[7]) = literal(value=(0, 255, 64), id=28, pos=[(2,22,37)])
}