74def coppeliusRTX3070ExactTargetAccepted : Nat =
75 (naturalAnd (naturalIsZero (bytes-length coppeliusRTX3070CompatibilityRefusal))
76 (naturalAnd
77 (runPodSM86TargetMatches
78 runPodRTX3070TargetProfile
79 runPodRTX3070ProductIdentity
80 coppeliusRTX3070Capabilities)
81 coppeliusRTX3070CapabilityAccepted))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.