<> <> <> <> <<>> <> <> <> <<>> LazyEvaluation: CEDAR DEFINITIONS ~ BEGIN <<>> Handle: TYPE ~ REF HandleRec; HandleRec: TYPE ~ PRIVATE RECORD [ evaluate: PROC [REF] RETURNS [REF], data: REF ¬ NIL ]; <> Failed: ERROR; <> <<>> New: PROC [evaluate: PROC [REF] RETURNS [REF], data: REF ¬ NIL] RETURNS [Handle]; <> <> <<>> Evaluate: PROC [h: Handle] RETURNS [result: REF]; <> <> <<>> SetResult: PROC [h: Handle, result: REF]; <> <> END.