Module Bright_starsSource

Sourcetype star = {
  1. id : string;
  2. name : string;
  3. pos : Celestial.equatorial;
  4. mag : float;
  5. spectral : char;
}
Sourceval stars : star list
Sourceval find : string -> star option
Sourcetype figure = {
  1. constellation : string;
  2. lines : (string * string) list;
}
Sourceval figures : figure list
Sourceval color : char -> int * int * int