Device regions. Registers, block width and shared memory are properties of
each kernel; the backend derives the QMD resource fields from them.
73def bobRegion =
74 (lambda unrestricted identity : Bytes .
75 (lambda unrestricted material : Bytes .
76 (lambda unrestricted registers : Nat .
77 (lambda unrestricted blockX : Nat .
78 (constructor NvidiaDeviceRegion NvidiaDeviceRegionValue
79 identity material registers blockX zero)))))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.