AnalysisResult (p.goblint.2.5.0.doc.goblint.lib.Goblint

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