SpecSys (goblint.Goblint_lib.Analyses.SpecSys)

module Spec : Spec

module EQSys : 
  Goblint_constraint.ConstrSys.DemandGlobConstrSys
    with module LVar = VarF(Spec.C)
     and module GVar = GVarF(Spec.V)
     and module D = Spec.D
     and module G = GVarG(Spec.G)(Spec.C)

module LHT : BatHashtbl.S with type key = EQSys.LVar.t

module GHT : BatHashtbl.S with type key = EQSys.GVar.t