sig
val
ecc_heuristic :
Graph
.t
->
IntSet
.t list
end