Forgive my ignorance, but what's a baby doppler?

Is it like an ultrasound machine?