fact: Definition IncludedIn_dec (l l' : list X) : {IncludedIn l l'} + {~ IncludedIn l l'} := IncludedInA_dec (X_eq_dec := A_eq_dec) l l'.
imports: Coq.Arith.Peano_dec Coq.Structures.OrderedTypeEx Coq.Lists.SetoidList Fiat.Common Fiat.Common.DecideableEnsembles Fiat.Common.String_as_OT Fiat.Common.List.ListFacts Fiat.Common.List.FlattenList Fiat.Common.SetEqProperties Fiat.Common.FMapExtensions Fiat.Common.List.PermutationFacts Fiat.QueryStructure.Specification.Representation.QueryStructureNotations