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__one(sign: bits[1] id=13) -> (bits[1], bits[8], bits[7]) {
  literal.23: bits[8] = literal(value=127, id=23, pos=[(2,36,43)])
  literal.24: bits[7] = literal(value=0, id=24, pos=[(1,151,18), (2,36,43)])
  ret tuple.26: (bits[1], bits[8], bits[7]) = tuple(sign, literal.23, literal.24, id=26, pos=[(1,148,33), (2,36,43)])
}