module EFFECT: sig .. end
sig
end
type t = CfgWP.VC.effect
CfgWP.VC.effect
val compare : CfgWP.VC.effect -> CfgWP.VC.effect -> int
CfgWP.VC.effect -> CfgWP.VC.effect -> int