  We prove an analogue of the classical Ax-Lindemann theorem in the context of
compact Shimura varieties. Our work is motivated by J. Pila's strategy for
proving the Andr\'e-Oort conjecture unconditionally
