Module PdgTypes.NodeSetLattice

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

include Lattice_type.Lattice_Set
val default : t