MODULE SeqM3AST_AS_FORMAL_ID EXPORTS SeqM3AST_AS_FORMAL_ID, SeqM3AST_AS_FORMAL_ID_rep = SeqElem (M3AST_AS_FORMAL_ID) END SeqM3AST_AS_FORMAL_ID.