Predicate signature InputSig::nodeGetASuccessor

Gets an immediate successor of this node.

signature Node nodeGetASuccessor(Node node, SuccessorType t)