fact: Definition ListWToTuple (l: list W) : @RawTuple (MakeWordHeading (List.length l)) := ListWToilist2 l.
imports: Fiat.QueryStructure.Implementation.DataStructures.BagADT.QueryStructureImplementation Fiat.ADT.Core Bedrock.Platform.Facade.examples.TuplesF CertifiedExtraction.Utils Bedrock.Memory CertifiedExtraction.Extraction.QueryStructures.Basics