---- what the artifact demands of a card (Platform.Linux.Nvidia.Compatibility) ----
the instruction set its QMDs are built for, its kernels' resources, the
video memory it reserves, and its host's driver branch, compute class and
unified memory; a pairing admits a card whose profile supplies them all
876def bobCompatDemands =
877 (lambda unrestricted architecture : (family ModelWord32) .
878 (nvidiaPlanDemands
879 (nvidiaInstructionSetOf (modelWord32ToNatural architecture))
880 bobRegions
881 bobMinimumVideoBytes
882 (nvidiaHostDemands (bobHostLayout b"" 0 0) nvidiaNoDemands)))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.