module m2;

BType ::= ;