Make.SpecSysSol
module SpecSys : Analyses.SpecSys
val gh : SpecSys.EQSys.G.t SpecSys.GHT.t
val lh : SpecSys.Spec.D.t SpecSys.LHT.t