(FILECREATED "13-DEC-77 15:54:36" ff<̈KRL1>TREEUNITS.;1ff ̌1567 )


(PRETTYCOMPRINT TREEUNITSCOMS)

(RPAQQ ff¿TREEUNITSCOMSff ̌((UNITS: (TreeNode))))
(PRETTYCOMPRINT (UNITS: (TreeNode)))

(READWHITEUNITS)

# TreeNode
self:
contents:
value:↑1 An Integer1:Trigger(ToFind,’(SeekNodeVal INSTANCE))
Trigger(WhenFilled, ’(ValueKnown INSTANCE FILLER FILLERDESCRIPTOR))
pbv:↑2 An Integer2:Trigger(WhenFilled,’(NewPBV INSTANCE FILLER))
type:Or(’OR, ’AND)
parent:A TreeNode with type = Not(My Type)
children:SetOf(A TreeNode with type = Not(My Type))
evaluationProcess: A Process
childrenEvaluationProcess: A Process

ENDUNITS

(DECLARE: DONTCOPY
(FILEMAP (NIL)))
STOP