ResultQuery (goblint.Goblint

module Query (SpecSys : Analyses.SpecSys) : sig ... end

module NH : sig ... end

module type SpecSysSol2 = sig ... end

module Make
  (FileCfg : MyCFG.FileCfg)
  (SpecSysSol : Analyses.SpecSysSol) : 
  SpecSysSol2 with module SpecSys = SpecSysSol.SpecSys