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