def capacity
import bend-collections-laws-crypto@1.0.0.0/proofs/lib/lemmas/src/cache.bend as Cacheimport Base
130def capacity(-K: Data, -V: Data, c: Cache<K, V>) -> Nat:
131 State{cap, m, order, life, counts, cb} = c
132 cap
import bend-collections-laws-crypto@1.0.0.0/proofs/lib/lemmas/src/cache.bend as Cacheimport Base
130def capacity(-K: Data, -V: Data, c: Cache<K, V>) -> Nat:
131 State{cap, m, order, life, counts, cb} = c
132 cap