MODULE SeqM3AST_AS_DECL_REVL EXPORTS SeqM3AST_AS_DECL_REVL, SeqM3AST_AS_DECL_REVL_rep = SeqElem (M3AST_AS_DECL_REVL) END SeqM3AST_AS_DECL_REVL.