example.php

<?hh
<<__Native>>
function example_sum(int $a, int $b): int;