MODULE SeqM3AST_AS_CONS_ELEM EXPORTS SeqM3AST_AS_CONS_ELEM, SeqM3AST_AS_CONS_ELEM_rep = SeqElem (M3AST_AS_CONS_ELEM) END SeqM3AST_AS_CONS_ELEM.