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__zero(sign: bits[1] id=7) -> (bits[1], bits[5], bits[10]) {
  literal.11: bits[5] = literal(value=0, id=11, pos=[(0,131,47), (1,36,45)])
  literal.12: bits[10] = literal(value=0, id=12, pos=[(0,131,73), (1,36,45)])
  ret tuple.13: (bits[1], bits[5], bits[10]) = tuple(sign, literal.11, literal.12, id=13, pos=[(0,131,33), (1,36,45)])
}