Up
–
Index
»
goblint
»
Goblint_ocamlgraph
»
Coloring
»
Make
» Optimal
Module
Make.Optimal
val
color :
G
.t
->
coloring