MODULE SeqM3AST_AS_STM EXPORTS SeqM3AST_AS_STM, SeqM3AST_AS_STM_rep = SeqElem (M3AST_AS_STM) END SeqM3AST_AS_STM.