sig
type decision = Spill of int | Color of Register.reg
type coloring
val empty : Coloring.coloring
val add_color :
Register.reg -> Register.reg -> Coloring.coloring -> Coloring.coloring
val add_spill : Register.reg -> Coloring.coloring -> Coloring.coloring
val find : Register.reg -> Coloring.coloring -> Coloring.decision
val copy_color :
Register.reg -> Register.reg -> Coloring.coloring -> Coloring.coloring
val print_dec : Stdlib.out_channel -> Coloring.decision -> unit
val print_coloring : Stdlib.out_channel -> Coloring.coloring -> unit
end