Is there a switch or something that is down under the dash that senses when the clutch pedal is being pushed in? What's it called?

I think the clutch pedal was let go and slammed up and now cruise control won't work.