Verifier support for CheckROCOW

[hiphop-php.git] / hphp / test / quick / dv_if.php

<?hh
class A {
  public function a(int $a0 = 2.0) {}
}

<<__EntryPoint>>
function main(): void {
  echo "Done.\n";
}