RelationAnalysis (goblint.Goblint

Contains most of the implementation of the original apronDomain, but now solely operates with functions provided by relationDomain.

module M = Messages

module VS : sig ... end

module SpecFunctor
  (Priv : RelationPriv.S)
  (RD : RelationDomain.RD)
  (PCU : RelationPrecCompareUtil.Util) : 
  sig ... end