MODULE SeqM3AST_AS_Const_decl EXPORTS SeqM3AST_AS_Const_decl, SeqM3AST_AS_Const_decl_rep = SeqElem (M3AST_AS_Const_decl) END SeqM3AST_AS_Const_decl.