INTERFACE M3AST_AS_REVELATION;
IMPORT M3AST_AS;
TYPE T = M3AST_AS.REVELATION;
END M3AST_AS_REVELATION.