MODULE SeqM3AST_AS_M3TYPE EXPORTS SeqM3AST_AS_M3TYPE, SeqM3AST_AS_M3TYPE_rep = SeqElem (M3AST_AS_M3TYPE) END SeqM3AST_AS_M3TYPE.