"""
This class encapsulates the covariance between the measurements in
one or more navigation_report_instances. The rows and columns of the
triangular covariance matrix relate to the (3) quantities from the
first instance, optionally the (3) quantities from each of the
further instances and finally, optionally, time.
     This, for instance allows the covariance between rotational
attitude and position to be represented or the covariance between
rotational attitude, position, all their rates of change and time. 
"""
type navigationCovarianceType {
  """
  Whether time is included in the covariance - it is always
  represented in the last row and column.
  """
  includeTime: Boolean!
  reportId: [Int!]
  """
  The content of the triangular covariance matrix omitting
  symmetric (duplicate) values. Valid lengths are sum(n=1..*;
  3n) and sum(n=1..*; 3n+1). The sequence starts 6, 10, 21,
  28, 45, ...
  """
  value: [Float!]
}

"""
A sequence of navigation report kinds. It is expected that this class
will map to implementation specific mechanisms in PSMs.
"""
type navigationReportKindSequenceType {
  list: [!]!
}