SpecSys (goblint.Goblint_lib.Witness.Result.R.SpecSys)

module Spec : Analyses.Spec

module EQSys : 
  Goblint_constraint.ConstrSys.DemandGlobConstrSys
    with module LVar = Analyses.VarF(Spec.C)
     and module GVar = Analyses.GVarF(Spec.V)
     and module D = Spec.D
     and module G = Analyses.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