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