package bfloat16

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

top fn __bfloat16__min_normal_exp() -> bits[8] {
  ret literal.17: bits[8] = literal(value=130, id=17, pos=[(1,46,71)])
}