int Sql.sql_result()->eof()
Returns non-zero if there are no more rows.
Extracted from Pike v7.3 release 11 at 2001-11-03.