Agda.TypeChecking.Monad.Caching

Log reading/writing operations

writeToCurrentLog

readFromCachedLog

cleanCachedLog

cacheCurrentLog

Activating

activateLoadedFileCache

cachingStarts

Restoring the PostScopeState

restorePostScopeState