MODULE SeqM3AST_AS_USED_ID EXPORTS SeqM3AST_AS_USED_ID, SeqM3AST_AS_USED_ID_rep = SeqElem (M3AST_AS_USED_ID) END SeqM3AST_AS_USED_ID.