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