<> <> <> <> <<>> <> <> <> <<>> Indirection: CEDAR DEFINITIONS ~ BEGIN <<>> GenerateProc: TYPE ~ PROC [createData, callData: REF] RETURNS [result: REF ¬ NIL]; Handle: TYPE ~ REF HandleRec; HandleRec: TYPE ~ RECORD [ generate: GenerateProc, createData: REF ¬ NIL ]; InlineGenerate: PROC [h: Handle, callData: REF ¬ NIL] RETURNS [REF] ~ INLINE { RETURN [ h.generate[h.createData, callData] ] }; Generate: PROC [h: Handle, callData: REF ¬ NIL] RETURNS [REF]; <> <> <> END.