+8

lib/oem.ml

reviewed

··· 456 456 Fmt.pf ppf "%a pos=%a vel=%a" (Ptime.pp_rfc3339 ()) sv.epoch pp_vec3 sv.pos 457 457 pp_vec3 sv.vel 458 458 459 459 + let pp_header ppf h = 460 460 + Fmt.pf ppf "OEM v%s by %s (%s)" h.version h.originator h.creation_date 461 461 + 462 462 + let pp_segment ppf seg = 463 463 + Fmt.pf ppf "%s [%s] %d points %a–%a" seg.metadata.object_name 464 464 + seg.metadata.object_id (Array.length seg.data) (Ptime.pp_rfc3339 ()) 465 465 + seg.metadata.start_time (Ptime.pp_rfc3339 ()) seg.metadata.stop_time 466 466 + 459 467 let pp_metadata ppf m = 460 468 Fmt.pf ppf "%s [%s] %s %s %a–%a" m.object_name m.object_id m.ref_frame 461 469 m.time_system (Ptime.pp_rfc3339 ()) m.start_time (Ptime.pp_rfc3339 ())

+6

lib/oem.mli

reviewed

··· 96 96 val pp_state_vector : state_vector Fmt.t 97 97 (** [pp_state_vector] pretty-prints a state vector. *) 98 98 99 99 + val pp_header : header Fmt.t 100 100 + (** [pp_header] pretty-prints an OEM header. *) 101 101 + 102 102 + val pp_segment : segment Fmt.t 103 103 + (** [pp_segment] pretty-prints an OEM segment summary. *) 104 104 + 99 105 val pp_metadata : metadata Fmt.t 100 106 (** [pp_metadata] pretty-prints segment metadata. *) 101 107