AlphaGitHub
Source/Packages

Accelerator.SM86.Capability

packages/hardware/architectures/nvidia-sm86/src/Accelerator/SM86/Capability.alpha

203 lines55 declarations8.1 KiBSHA-256 bc5d1e28b0a1
Download exact fileView at revisionf5034773ad4bb52133

def · lines 80–83

sm86CapabilityWord64AtLeast

Full file
80def sm86CapabilityWord64AtLeast =
81  (lambda unrestricted observed : (family ModelWord64) .
82    (lambda unrestricted required : (family ModelWord64) .
83      (naturalIsZero (modelWord64LessThan observed required))))

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.