export type ProperMotion = { rightAscension: number; declination: number; };