···991010(** {1 Types} *)
11111212-type vec3 = { x : float; y : float; z : float }
1313-(** Position or velocity vector (km or km/s). *)
1414-1515-type state_vector = { epoch : Ptime.t; pos : vec3; vel : vec3 }
1212+type state_vector = { epoch : Ptime.t; pos : Vec3.t; vel : Vec3.t }
1613(** A single ephemeris data point: position and velocity at an epoch. *)
17141815type covariance = { epoch : Ptime.t; ref_frame : string; matrix : float array }
···8986(** [object_id oem] is the object ID from the first segment. *)
90879188(** {1 Pretty-printing} *)
9292-9393-val pp_vec3 : vec3 Fmt.t
9494-(** [pp_vec3] pretty-prints a 3D vector. *)
95899690val pp_state_vector : state_vector Fmt.t
9791(** [pp_state_vector] pretty-prints a state vector. *)