<?php

use Typo\Library\Prototypes;
use function Typo\Library\declareType;

require(__DIR__ . '/API/__autoload.php');
require(__DIR__ . '/Compiler/__autoload.php');
require(__DIR__ . '/Library/__autoload.php');

declareType('AAA', '
class AAA
');

declareType('BBB', '
class BBB<
    $T1 is AAA
>
');

declareType('CCC', '
class CCC<
    $T1 is AAA
>
');

declareType('DDD', '
class DDD<
    $T1 is BBB<AAA>,
    $T2 is CCC<AAA>
>
');

declareType('EEE', '
class EEE<
    $T1 is AAA,
    $T2 is DDD<
        BBB<$T1>,
        CCC<$T1>
    >
>
');

declareType('FFF', '
class FFF extends AAA
');

declareType('GGG', '
class GGG<
    $T1 is FFF
>
extends EEE<
    $T1,
    DDD<
        BBB<$T1>,
        CCC<$T1>
    >
>
');

echo Prototypes::$map->get('GGG');