fact: Definition Good_BedrockWTuple : GoodWrapper QsADTs.ADTValue (TuplesF.GenericTuple W).
imports: Fiat.CertifiedExtraction.Extraction.QueryStructures.Wrappers Fiat.CertifiedExtraction.ADT2CompileUnit CertifiedExtraction.FacadeWrappers CertifiedExtraction.Core Bedrock.Memory