PHP PHPref_new Examples

Example #1

File: libatscc2php_all.php Project: Charon-Shi/ats-lang.github.io

function ats2phppre_ref_make_elt($arg0)
{
    /*
      // $tmpret1
      // $tmp2
    */
    __patsflab_ref_make_elt:
    $tmp2 = PHPref_new($arg0);
    $tmpret1 = $tmp2;
    return $tmpret1;
}

Example #2

File: PHPref_cats.php Project: smurphy8/ATS-Postiats-contrib

function PHPref_make_elt($x0)
{
    return PHPref_new($x0);
}