Module Coloring.Mark

Parameters

module G : GM

Signature

exception NoColoring
val coloring : G.t -> int -> unit