0 | ||| Least Recently Used (LRU) Cache Internals
7 | %language ElabReflection
9 | --------------------------------------------------------------------------------
10 | -- Priority
11 | --------------------------------------------------------------------------------
13 | ||| Logical time at which an element was last accessed.
18 | --------------------------------------------------------------------------------
19 | -- LRUCache
20 | --------------------------------------------------------------------------------
22 | ||| Least Recently Used (LRU) Cache based on hashing.