RowOrder: readonly OrderKey[]

The order a node's rows come in, most significant key first; empty when nothing orders them, e.g. a table or a join