MODULE SeqM3AST_AS_Qual_used_id EXPORTS SeqM3AST_AS_Qual_used_id, SeqM3AST_AS_Qual_used_id_rep = SeqElem (M3AST_AS_Qual_used_id) END SeqM3AST_AS_Qual_used_id.