Module Analyses.Outcome

type t =
  1. | Ok
  2. | OkPartial
  3. | Error
  4. | Fatal
val merge : t -> t -> t
val merge_list : ('a * t) list -> t
val as_status_code : t -> int
val exit : t -> 'a
val pp : Stdlib.Format.formatter -> t -> unit