Goblint_lib.AnalysisResult
Analysis results.
module ResultNode : Printable.S with type t = MyCFG.node
module type Result = sig ... end
module Result (Range : Printable.S) : Result with module Range = Range
module ResultType2 (S : Analyses.Spec) : sig ... end