73def coppeliusRTX3090ExactTargetAccepted : Nat =
74 (naturalAnd (naturalIsZero (bytes-length coppeliusRTX3090CompatibilityRefusal))
75 (naturalAnd
76 (runPodSM86TargetMatches
77 runPodRTX3090TargetProfile
78 runPodRTX3090ProductIdentity
79 coppeliusRTX3090Capabilities)
80 coppeliusRTX3090CapabilityAccepted))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.