MODULE SeqM3AST_AS_EXP EXPORTS SeqM3AST_AS_EXP, SeqM3AST_AS_EXP_rep = SeqElem (M3AST_AS_EXP) END SeqM3AST_AS_EXP.