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