<> <> <> <> <<>> DIRECTORY DynaSeer; CacheModel: CEDAR DEFINITIONS ~ BEGIN <> ROPE: TYPE = DynaSeer.ROPE; Handle: TYPE = DynaSeer.Handle; Cmd: TYPE = DynaSeer.Cmd; Cycle: TYPE = DynaSeer.Cycle; DeviceId: TYPE = DynaSeer.DeviceId; Device: TYPE = DynaSeer.Device; Request: TYPE = DynaSeer.Request; <> Init: PROC [handle: Handle]; <> CreateCache: PROC [deviceId: DynaSeer.DeviceId] RETURNS [device: DynaSeer.Device]; InitCache: DynaSeer.InitProc; CycleCache: DynaSeer.CycleProc; END.