fact: Definition RealElemType N := FiatWTuple N.
imports: CertifiedExtraction.Extraction.QueryStructures.CallRules.Core CertifiedExtraction.Extraction.External.Loops CertifiedExtraction.Extraction.External.FacadeLoops CertifiedExtraction.Extraction.External.Lists CertifiedExtraction.Extraction.QueryStructures.CallRules.Tuple