<?php
global $pasdoc;
$pasdoc = array(
  'ok_enumeration_auto_abstract' => array('html_filename' => 'ok_enumeration_auto_abstract.html', 'type' => 'unit'),
  'TEnum' => array('html_filename' => 'ok_enumeration_auto_abstract.html#TEnum', 'type' => 'type'),
  'en1' => array('html_filename' => 'ok_enumeration_auto_abstract.html#en1', 'type' => 'enum constant'),
  'en2' => array('html_filename' => 'ok_enumeration_auto_abstract.html#en2', 'type' => 'enum constant'),
  'en3' => array('html_filename' => 'ok_enumeration_auto_abstract.html#en3', 'type' => 'enum constant'),
  'en4' => array('html_filename' => 'ok_enumeration_auto_abstract.html#en4', 'type' => 'enum constant'),
  'en5' => array('html_filename' => 'ok_enumeration_auto_abstract.html#en5', 'type' => 'enum constant'),
  'en6' => array('html_filename' => 'ok_enumeration_auto_abstract.html#en6', 'type' => 'enum constant'),
);
