MODULE SeqM3AST_AS_Override EXPORTS SeqM3AST_AS_Override, SeqM3AST_AS_Override_rep = SeqElem (M3AST_AS_Override) END SeqM3AST_AS_Override.