A $3.77 waterproof case for Arduino Projects

So indeed these are parallax detectors, presumably what is used in (digital) cameras.

Obviously these should work just fine behind a glass or polycarbonate faceplate, needing only a plenum in between the two sensor units, extending out to the faceplate.