nitc :: POSetGroupColorer :: poset
alias for graph.poset
graph.poset
# The associated poset. # # alias for `graph.poset` fun poset: POSet[H] do return graph.poset