package float64

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

top fn __float64__zero(sign: bits[1] id=7) -> (bits[1], bits[11], bits[52]) {
  literal.13: bits[11] = literal(value=0, id=13, pos=[(0,131,47), (1,38,44)])
  literal.14: bits[52] = literal(value=0, id=14, pos=[(0,131,73), (1,38,44)])
  ret tuple.15: (bits[1], bits[11], bits[52]) = tuple(sign, literal.13, literal.14, id=15, pos=[(0,131,33), (1,38,44)])
}