def keys

bend-collections@1.0.0.0 · src/containers/lru.bend:878

import bend-collections@1.0.0.0/src/containers/lru.bend as Lru
import Base
import bend-collections@1.0.0.0/src/math/u64.bend as W

878# The keys oldest first, after the oldest EXPIRED prefix is removed (each a
879# removal), stopping at the first immortal or live oldest entry.
880def keys(a, -V: Kind(a), f: LRU<a, V>, +now: W.U64) -> LRU<a, V> & List<&2, String>:
881  keys_list(a, V, keys_n(a, V, now, f))

Uses (7)

Used by (0)

No other definition uses this definition.