Module PdgTypes.NodeSetLattice


module NodeSetLattice: sig .. end
set of nodes of the graph

include struct ... end
type t_elt = O.elt 
val tag : t -> int
val default : 'a -> 'b -> 'c -> t
val defaultall : 'a -> t