Collision Avoidance Maneuver design for conjunction assessment
0
fork

Configure Feed

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

cam: document pp_maneuver and pp (merlint E400)

+5
+5
lib/cam.mli
··· 110 110 (** {1 Pretty-printing} *) 111 111 112 112 val pp_direction : direction Fmt.t 113 + (** [pp_direction] formats a direction. *) 114 + 113 115 val pp_maneuver : maneuver Fmt.t 116 + (** [pp_maneuver] formats a maneuver. *) 117 + 114 118 val pp : result Fmt.t 119 + (** [pp] formats a collision avoidance result. *)