NFL Draft: Who will get drafted top 10?

This is a market on which players will get drafted between picks 1-10 in the first round of the 2025 NFL Draft.