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 14-10-2016 by Jon Kerridge, Edinburgh Napier University - j dot kerridge at napier dot ac dot uk