48def bobRTX3090ExactTargetAccepted : Nat =
49 (naturalAnd (naturalIsZero (bytes-length bobRTX3090CompatibilityRefusal))
50 (naturalAnd
51 (runPodSM86TargetMatches
52 runPodRTX3090TargetProfile
53 runPodRTX3090ProductIdentity
54 bobRTX3090Capabilities)
55 bobRTX3090CapabilityAccepted))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.