Module Cfgpropid


module Cfgpropid: sig .. end
merge the switch branches :

Indexed goals by prop_id



type dnode = {
   dn_id : int;
   dn_warn : Wpo.warning list;
   dn_depends : Wpo.dependency list;
   dn_source : dnode list;
}
module Sint: Set.Make(sig
type t = int 
val compare : Datatype.Int.t -> Datatype.Int.t -> int
end)
val iter_dnodes : (dnode -> unit) -> dnode -> unit
val pp_list : (Format.formatter -> 'a -> 'b) -> Format.formatter -> 'a list -> unit
val pp_dnode : Format.formatter -> dnode -> unit
module Create: 
functor (W : Mcfg.S) -> sig .. end