---- 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.
The host demands read only the layout's ABI and lifecycle, so the
pushbuffer's extent (known only at build, from its expansion) is 0 here.
674def coppeliusCompatDemands =
675 (lambda unrestricted architecture : (family ModelWord32) .
676 (nvidiaPlanDemands (nvidiaInstructionSetOf (modelWord32ToNatural architecture)) coppeliusWholeProgramDeviceRegions coppeliusSM86CompatVideoBytesNatural
677 (nvidiaHostDemands (coppeliusHostLayout 0 b"") 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.