fact: Definition absMethod (dom : list Type) (cod : option Type) (oldMethod : methodType oldRep dom cod) : methodType newRep dom cod := absMethod' dom cod oldMethod.
imports: Fiat.Common Fiat.Computation Fiat.ADT.ADTSig Fiat.ADT.Core Fiat.ADTRefinement.Core Fiat.ADTRefinement.SetoidMorphisms Fiat.ADTRefinement.GeneralRefinements