<?php
$TOC = array (
  0 => 
  array (
    0 => 'closure.construct.php',
    1 => 'Closure::__construct',
  ),
  1 => 
  array (
    0 => 'closure.bind.php',
    1 => 'Closure::bind',
  ),
  2 => 
  array (
    0 => 'closure.bindto.php',
    1 => 'Closure::bindTo',
  ),
  3 => 
  array (
    0 => 'closure.call.php',
    1 => 'Closure::call',
  ),
  4 => 
  array (
    0 => 'closure.fromcallable.php',
    1 => 'Closure::fromCallable',
  ),
  5 => 
  array (
    0 => 'closure.getcurrent.php',
    1 => 'Closure::getCurrent',
  ),
);
$TOC_DEPRECATED = array (
);
$PARENTS = array (
  0 => 
  array (
    0 => 'reserved.interfaces.php',
    1 => 'Vordefinierte Interfaces und Klassen',
  ),
  1 => 
  array (
    0 => 'langref.php',
    1 => 'Sprachreferenz',
  ),
  2 => 
  array (
    0 => 'index.php',
    1 => 'Vorwort',
  ),
);