module m1;
AType ::= BType ;