Post-solve RAIM input.
:used_sats and :residuals_m must use the same order. Residuals are the
post-fit range residuals in meters. :variances_m2, when supplied, are the
positive finite variances the estimator used, in that same order.
Summary
Functions
Build post-solve RAIM input from satellite ids and residuals.