module NodeSetLattice: sig .. end
sig
end
set of nodes of the graph
include Lattice_type.Lattice_Set
val default : t
t