Module CfgWP.VC.TARGET

module TARGET: sig .. end

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 -> P.t
val source : CfgWP.VC.target -> (Cil_datatype.Stmt.t * WpPropId.effect_source) option
val pretty : Format.formatter -> CfgWP.VC.target -> unit