AlphaGitHub
Source/Packages

Accelerator.SM121.Lowering

packages/hardware/architectures/nvidia-sm121/src/Accelerator/SM121/Lowering.alpha

2,621 lines365 declarations134.1 KiBSHA-256 b7b3bbc05e9c
Download exact fileView at revisionf5034773ad4bb52133

def · lines 2376–2380

sm121LowerBeyond

Full file
how many of `positions` lie at or past `count`
2376def sm121LowerBeyond =
2377  (lambda unrestricted positions : (family SM121LowerRegisters) .
2378    (lambda unrestricted count : Nat .
2379      (sm121LowerCount positions
2380        (lambda unrestricted position : Nat . (naturalIsZero (nat-less-than position count))))))

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.