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