module Cfgpropid:merge the switch branches :sig
..end
Indexed goals by prop_id
type
dnode = {
|
dn_id : |
|
dn_warn : |
|
dn_depends : |
|
dn_source : |
module Sint:Set.Make
(
sig
typet =
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: