Agda.TypeChecking.Monad.Caching

Log reading/writing operations

writeToCurrentLog

readFromCachedLog

cleanCachedLog

cacheCurrentLog

Activating/deactivating

activateLoadedFileCache

cachingStarts

noCacheForImportedModule

Restoring the PostScopeState

restorePostScopeState