module TARGET:sig
..end
typet =
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