Collision probability computation for conjunction assessment
ocaml-collision: fix README MDX usage example
The example referenced an unbound [cdm] value and [Cdm] / [Fmt]
modules that weren't in the mdx libraries. Wrap the snippet as
[let report_pc (cdm : Cdm.t) = ...] and add [cdm] / [fmt] to the
mdx stanza so the example typechecks against the real API.
+10
-11
+9
-10
README.md
+9
-10
README.md
···
26
26
## Usage
27
27
28
28
```ocaml
29
-
(* Quick Pc from a CDM *)
30
-
let pc = Collision.pc ~hbr:0.015 cdm
31
-
let () = Printf.printf "Pc = %e\n" pc
32
-
33
-
(* Step-by-step: project to conjunction plane, then compute *)
34
-
let enc = Collision.encounter_of_cdm ~hbr:0.015 cdm
35
-
let pc_foster = Collision.pc_foster enc
36
-
let pc_max = Collision.pc_max enc
37
-
let () =
38
-
Printf.printf "Foster Pc: %e, Max Pc bound: %e\n" pc_foster pc_max
29
+
let report_pc (cdm : Cdm.t) =
30
+
(* Quick Pc from a CDM *)
31
+
let pc = Collision.pc ~hbr:0.015 cdm in
32
+
Fmt.pr "Pc = %e@." pc;
33
+
(* Step-by-step: project to conjunction plane, then compute *)
34
+
let enc = Collision.encounter_of_cdm ~hbr:0.015 cdm in
35
+
let pc_foster = Collision.pc_foster enc in
36
+
let pc_max = Collision.pc_max enc in
37
+
Fmt.pr "Foster Pc: %e, Max Pc bound: %e@." pc_foster pc_max
39
38
```
40
39
41
40
## API Overview