Agda.TypeChecking.Monad.Caching
writeToCurrentLog
readFromCachedLog
cleanCachedLog
cacheCurrentLog
activateLoadedFileCache
cachingStarts
PostScopeState
restorePostScopeState