Module Absint.AnalysisResult

type no_summary =
  1. | AnalysisFailed
  2. | InBlockList
  3. | MutualRecursionCycle
  4. | UnknownProcedure
val pp_no_summary : Ppx_show_runtime.Format.formatter -> no_summary -> unit
val show_no_summary : no_summary -> string
val to_option : 'a t -> 'a option
val of_option : 'a option -> ('a, no_summary) IStdlib.IStd.result