definition module example_type1;

:: ComplexInt :== (!Int,!Int);