They shave them, scrub them with betadine, rinse(or not, if they are lazy and have 50+ cats to do that day). He may have razor burn if the clippers weren't oiled and were hot.

Just don't let him lick himself and get everything irritated and he'll be fine. They don't put stitches in or anything, but some vets put some skin glue on(usually not though).