package goblint

You can search for identifiers within the package.

in-package search v0.2.0

Module `Goblint_lib.AnalysisResult`

Analysis results.

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