Source/Packages

Accelerator.SM121.Lowering

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

2,621 lines365 declarations134.1 KiBSHA-256 b7b3bbc05e9c

def · lines 485–491

sm121LowerMaximum

Full file
485def sm121LowerMaximum =
486  (lambda unrestricted left : Nat .
487    (lambda unrestricted right : Nat .
488      (nat-eliminate (lambda unrestricted current : Nat . Nat)
489        left
490        (lambda unrestricted flagPredecessor : Nat . (lambda unrestricted flagRest : Nat . right))
491        (nat-less-than left right))))

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.