hphp_get_iterator

function hphp_get_iterator(
  $iterable,
);