MODULE SeqM3AST_AS_Method EXPORTS SeqM3AST_AS_Method, SeqM3AST_AS_Method_rep = SeqElem (M3AST_AS_Method) END SeqM3AST_AS_Method.