PHP PHParref_get_at Examples

Example #1

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

function ats2phppre_arrszref_get_at($arg0, $arg1)
{
    /*
      // $tmpret18
    */
    __patsflab_arrszref_get_at:
    $tmpret18 = PHParref_get_at($arg0, $arg1);
    return $tmpret18;
}

Example #2

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

function GameOf24_php__cardset_get_at($arg0, $arg1)
{
    /*
      // $tmpret128
    */
    __patsflab_cardset_get_at:
    $tmpret128 = PHParref_get_at($arg0, $arg1);
    return $tmpret128;
}