functor
(
G
:
GM
)
->
sig
exception
NoColoring
val
coloring :
Coloring
.
G
.t
->
int
->
unit
end