~/jendhub

type LruEvent

bend-collections-laws-math@1.0.0.0 · proofs/lib/lemmas/types/model.bend:17

import bend-collections-laws-math@1.0.0.0/proofs/lib/lemmas/types/model.bend as Model
import Base

17type LruEvent<-K: Data, -V: Data> is Data:
18  Evicted{key: K, value: V}

Uses (0)

This definition uses no other definition.

Used by (5)