calendar_to_apollo

The Apollo_Time for a Calendar_Time; the reverse of to_calendar.

calendar_to_apollo :: (ct: Calendar_Time) -> Apollo_Time

ct := to_calendar(seconds_to_apollo(1000000));
back := calendar_to_apollo(ct);
assert(to_seconds(back) == 1000000);