A unique object for allowing access to privileged operations on the Node. Returned when a Node is initialised.
class Object
wait, wait, wait, equals, toString, hashCode, getClass, notify, notifyAll
JCSP for Java 1.8 generated 18-09-2017 by Jon Kerridge, Edinburgh Napier University