Skip to main content

Module cache

lean_ctx::core

Module cache 

Source

Structsยง

CacheEntry
CacheStats
SessionCache
SharedBlock
A block shared across multiple files, identified by its canonical source.