fact: Definition addCacheToMethod {Dom : list Type} {Cod : option Type} (oldMethod : methodType rep Dom Cod) (nr : cachedRep) : methodType' cachedRep Dom Cod := addCacheToMethod' Dom Cod (oldMethod (origRep nr)).
imports: Fiat.Common Fiat.Computation Fiat.ADT Coq.Sets.Ensembles Fiat.ADTRefinement Fiat.ADTRefinement.Refinements.ADTRepInv