next up previous contents
Next: The VDM Operation is_empty? Up: VDM Specification of an Previous: The VDM Operations and

The VDM Operation node

This operation returns the root of the tree:


\begin{fn}{node} \signature{Ordered\_tree \To \Nat} \parms{t} \If t = mk-Ord\_bin\_tree(leftsub,value,rightsub) \Then\\ value \Else \const{Empty} \Fi \end{fn}

Lee McCluskey
2002-12-18