def len
import bend-collections-laws-crypto@1.0.0.0/proofs/lib/lemmas/src/cache.bend as Cacheimport Base
39def len(-K: Data, -V: Data, +c: Cache<K, V>) -> Nat:
40 State{cap, m, order, life, counts, cb} = c
41 List.length(&2, String, order)
import bend-collections-laws-crypto@1.0.0.0/proofs/lib/lemmas/src/cache.bend as Cacheimport Base
39def len(-K: Data, -V: Data, +c: Cache<K, V>) -> Nat:
40 State{cap, m, order, life, counts, cb} = c
41 List.length(&2, String, order)