Constraints.CompareGlobSys
module SpecSys : Analyses.SpecSys
module Sys = SpecSys.EQSys
module LH = SpecSys.LHT
module GH = SpecSys.GHT
module G = Sys.G
module PP : sig ... end
val compare_locals : SpecSys.Spec.D.t PP.t -> SpecSys.Spec.D.t PP.t -> unit
val compare_locals_ctx : SpecSys.Spec.D.t LH.t -> SpecSys.Spec.D.t LH.t -> unit
val compare :
(string * string) ->
(SpecSys.Spec.D.t LH.t * G.t GH.t) ->
(SpecSys.Spec.D.t LH.t * G.t GH.t) ->
unit