fact: Definition PopCacheAbs : Rep CacheSpec -> Rep PopCache -> Prop := AbsR (projT2 LRUCache).
imports: Fiat.QueryStructure.Specification.Representation.QueryStructureNotations Fiat.QueryStructure.Implementation.ListImplementation ComputationalADT AddCache ADTCache CacheADT