This commit is contained in:
2026-03-07 22:30:25 +01:00
parent 1fbd443dbf
commit 8e1752c7ad
2 changed files with 13 additions and 5 deletions

View File

@@ -13,6 +13,7 @@
lru-has?
lru-add!
lru-count
lru-empty?
lru->list
lru-clear
)
@@ -155,6 +156,10 @@
)
)
(define/contract (lru-empty? l)
(-> lru*? boolean?)
(= (lru-count l) 0))
(define/contract (lru-count lru)
(-> lru*? larger-equal0?)
(with-lock lru