Module PdgTypes.NodeSetLattice

module NodeSetLattice: sig .. end

set of nodes of the graph


include Lattice_type.Lattice_Set
val default : t