Ephemerisval planets : planet listval planet_name : planet -> stringval heliocentric : planet option -> float -> float * float * floatval planet : planet -> float -> Celestial.equatorialval sun : float -> Celestial.equatorialval moon : float -> Celestial.equatorialval illuminated : sun:Celestial.equatorial -> Celestial.equatorial -> float