Basic definitions and utility functions for GNSS raw measurement processing - View it on GitHub