nitc :: POSetColorer :: colors
REQUIRE: is_colored
# Resulting colors # REQUIRE: is_colored fun colors: Map[E, Int] do assert is_colored return colors_cache end