MODULE SeqM3AST_AS_Module EXPORTS SeqM3AST_AS_Module, SeqM3AST_AS_Module_rep = SeqElem (M3AST_AS_Module) END SeqM3AST_AS_Module.