<> <> << Last edited by:>> <> YggFilePageMgrImpls: CONFIGURATION IMPORTS YggDIDMap, YggDummyProcess, YggDummyVM, YggFileStream, YggHostFS, RedBlackTree, VM EXPORTS YggFilePageMgr CONTROL YggFilePageMgrMainImpl, YggFilePageMgrLruImpl, YggFilePageMgrIOImpl = BEGIN YggFilePageMgrMainImpl; YggFilePageMgrLruImpl; YggFilePageMgrIOImpl; END.