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 : Cil_datatype.Stmt.Set.elt -> CtrlDpds.t_info -> CtrlDpds.t_info
val pretty : Format.formatter -> CtrlDpds.t_info -> unit