let extrapol_coloring_names = [ Final, "final" ; Init, "init" ; Both, "both" ; None, "none" ; Auto, "auto" ]