poset :: POSetElement :: count
This attribute is used to force a total order for POSet#compare
# The rank of the # This attribute is used to force a total order for POSet#compare private var count: Int