I have proved (the proof is currently available in this file) that $((\mathsf{FCD}), (\mathsf{RLD})_{\mathrm{in}})$ are components of a pointfree funcoid between boolean lattices.

See my book for definitions.