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