module State:sig
..end
typet =
CtrlDpds.t_info
val inter : CtrlDpds.t_info -> CtrlDpds.t_info -> CtrlDpds.t_info
val equal : CtrlDpds.t_info -> CtrlDpds.t_info -> bool
val add : Cilutil.StmtSet.elt -> CtrlDpds.t_info -> CtrlDpds.t_info
val pretty : Format.formatter -> CtrlDpds.t_info -> unit