implementation module example_type1;

//1.3
from StdString import String;
//3.1

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