Predicate constructPlatformVersionAvailabilitySpec
The characteristic predicate of PlatformVersionAvailabilitySpec synthesized instances.
INTERNAL: Do not use.
Import path
import codeql.swift.elements.internal.PlatformVersionAvailabilitySpecConstructor