Collision probability computation for conjunction assessment
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

ocaml-collision: reflow collision.mli report example after dune fmt

+2 -2
+2 -2
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@." 10 - a.pc a.miss_distance Collision.pp_risk (Collision.risk_level a) 9 + Format.printf "Pc = %e, miss = %.0f m, risk = %a@." a.pc a.miss_distance 10 + Collision.pp_risk (Collision.risk_level a) 11 11 ]} 12 12 13 13 {b References}: