Collision probability computation for conjunction assessment
mdx: switch doc-example printers from Format/Printf to Fmt
Repo convention is to use the `fmt` library's Fmt.pr / Fmt.epr / etc.
in code, and the recently added mdx examples drifted to
Format.eprintf / Printf.eprintf out of habit. Brought them back into
line so a reader copy-pasting the example doesn't pick up the
wrong style.
Touches the {[ ... ]} blocks in:
- ocaml-collision/lib/collision.mli
- ocaml-cose/lib/cose.mli
- ocaml-delegation/lib/delegation.mli
- ocaml-gdocs/lib/gdocs.mli (also added fmt to the mdx libraries)
- ocaml-runc/lib/runc.mli (also added fmt to the mdx libraries; \n
format escapes became @. for consistency)
- ocaml-sigstore/lib/sigstore.mli
+1
-1
+1
-1
lib/collision.mli
+1
-1
lib/collision.mli
···
6
6
(* Assess a CDM and report the conjunction risk. *)
7
7
let report (cdm : Cdm.t) =
8
8
let a = Collision.assess cdm in
9
-
Format.printf "Pc = %e, miss = %.0f m, risk = %a@." a.pc a.miss_distance
9
+
Fmt.pr "Pc = %e, miss = %.0f m, risk = %a@." a.pc a.miss_distance
10
10
Collision.pp_risk (Collision.risk_level a)
11
11
]}
12
12