fact: Definition Good_W {av} : GoodWrapper av W.
imports: Fiat.CertifiedExtraction.Extraction.QueryStructures.Wrappers Fiat.CertifiedExtraction.ADT2CompileUnit CertifiedExtraction.FacadeWrappers CertifiedExtraction.Core Bedrock.Memory