sig
type t = CfgWP.VC.target
val hsrc : WpPropId.effect_source -> int
val hash : CfgWP.VC.target -> int
val compare : CfgWP.VC.target -> CfgWP.VC.target -> int
val equal : CfgWP.VC.target -> CfgWP.VC.target -> bool
val prop_id : CfgWP.VC.target -> CfgWP.VC.P.t
val source :
CfgWP.VC.target -> (Cil_datatype.Stmt.t * WpPropId.effect_source) option
val pretty : Format.formatter -> CfgWP.VC.target -> unit
end