3 final class LamdbaExtractor
{
4 private static function run(string $program, int $line): void
{
5 $json = HH\ffp_parse_string
($program);
6 $funs = HH\ExperimentalParserUtils\find_all_functions
($json);
7 $function = $funs[$line];
8 $bounds = HH\ExperimentalParserUtils\body_bounds
($function);
9 list($begin, $end) = $bounds;