NODE Data Type

A NODE represents one element in a tree. NODE data contains the text of the corresponding tree element. 4Test defines this record data type as follows:

[-] type NODE is record
	[ ] STRING data
	[ ] LIST OF NODE children