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__max_normal_exp() -> bits[5] {
  ret literal.15: bits[5] = literal(value=15, id=15, pos=[(1,46,71)])
}