MODULE SeqM3AST_AS_IMPORTED EXPORTS SeqM3AST_AS_IMPORTED, SeqM3AST_AS_IMPORTED_rep = SeqElem (M3AST_AS_IMPORTED) END SeqM3AST_AS_IMPORTED.