Collision probability computation for conjunction assessment
ocaml-collision: enable MDX on lib/collision.mli
Run mdx on lib/collision.mli so the {[ ... ]} odoc block now
type-checks. The example used a free `cdm`, `let ... in` chains, and
called `Collision.risk_level` (which returns a `risk` variant) where
`%s` expected a string. Wrapped in `let report (cdm : Cdm.t) = ...`
and switched to `Format.printf "%a"` with `Collision.pp_risk` so the
risk classifier renders correctly.
+9
-4
+5
-4
lib/collision.mli
+5
-4
lib/collision.mli
···
3
3
{2 Quick start}
4
4
5
5
{[
6
-
(* Assess a CDM in one line *)
7
-
let a = Collision.assess cdm in
8
-
Printf.printf "Pc = %e, miss = %.0f m, risk = %s\n" a.pc a.miss_distance
9
-
(Collision.risk_level a)
6
+
(* Assess a CDM and report the conjunction risk. *)
7
+
let report (cdm : Cdm.t) =
8
+
let a = Collision.assess cdm in
9
+
Format.printf "Pc = %e, miss = %.0f m, risk = %a@."
10
+
a.pc a.miss_distance Collision.pp_risk (Collision.risk_level a)
10
11
]}
11
12
12
13
{b References}: