<> <> <> <> <> <> YggLockImpls: CONFIG IMPORTS BasicTime, List, YggDID, YggDIDMap, YggDummyProcess, Rope, YggMonitoringHooks, YggMonitoringLog, YggFileLock, YggTransactionMap EXPORTS ALL CONTROL YggLockCoreImpl, YggLockWatchdogImpl = BEGIN YggLockCoreImpl; YggLockWatchdogImpl; END.