fact: Definition UnitSigT (P: unit -> Type) : P tt -> sigT P := fun s => existT P tt s.
imports: Fiat.QueryStructure.Automation.MasterPlan Fiat.Examples.QueryStructure.ProcessScheduler CertifiedExtraction.Extraction.QueryStructures.Wrappers CertifiedExtraction.Extraction.QueryStructures.QueryStructures CertifiedExtraction.Extraction.QueryStructures.WrappersAreConsistent