package float64

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/float64.x"

top fn __float64__inf(sign: bits[1] id=10) -> (bits[1], bits[11], bits[52]) {
  literal.19: bits[11] = literal(value=2047, id=19, pos=[(1,78,28), (2,30,42)])
  literal.20: bits[52] = literal(value=0, id=20, pos=[(1,79,18), (2,30,42)])
  ret tuple.22: (bits[1], bits[11], bits[52]) = tuple(sign, literal.19, literal.20, id=22, pos=[(1,76,33), (2,30,42)])
}