Module Goblint_lib.AnalysisResult

Analysis result output.

module ResultNode : Printable.S with type t = MyCFG.node
module type ResultConf = sig ... end
module Result (Range : Printable.S) (C : ResultConf) : sig ... end
module ResultType2 (S : Analyses.Spec) : sig ... end