Source position: mysql3.pp line 81
function mysql_refresh(
mysql: PMYSQL;
refresh_options: Cardinal
):LongInt;