Whether a value is a set of places: node ids to three finite numbers, no more than PROC_LAYOUT_NODES_MAX of them.
The value.
Whether it is.
Whether a value is a set of places: node ids to three finite numbers, no more than PROC_LAYOUT_NODES_MAX of them.