How would I check what enchantment is on a player's boots with procedures?

The title pretty much explains it. I want to make an enchant similar to frost walker called lava walker and I need to see if the enchant is on the player's boots or not.