AnalysisResult (goblint.Goblint

module ResultNode : Printable.S with type t = MyCFG.node

module type ResultConf = sig ... end

module type Result = sig ... end

module Result
  (Range : Printable.S)
  (C : ResultConf) : 
  Result with module Range = Range

module ResultType2 (S : Analyses.Spec) : sig ... end