Their sensor uses a four-lead RGB LED, but we suppose a Neopixel ... which measures the intensity of light bouncing back from an object as an Arduino drives the LED through all possible colors ...