<> <> DIRECTORY PrincOpsUtils USING[HighHalf], PrincOps USING[GlobalFrameHandle]; RTOS: DEFINITIONS IMPORTS PrincOpsUtils = BEGIN OPEN PrincOps; <> EnumerateGlobalFrames: PROC[proc: PROC[GlobalFrameHandle] RETURNS[BOOL]] RETURNS[GlobalFrameHandle]; FindEnclosingGFH: PROC[ptr: POINTER] RETURNS[GlobalFrameHandle]; SameCode: PROC [f1, f2: GlobalFrameHandle] RETURNS[BOOL]; END.