2974def cgReferenceCount =
2975 (lambda unrestricted references : (family NvidiaLaunchReferences) .
2976 (eliminate
2977 NvidiaLaunchReferences
2978 (lambda unrestricted current : (family NvidiaLaunchReferences) . Nat)
2979 references
2980 (branch NvidiaLaunchReferencesEmpty . 0)
2981 (branch NvidiaLaunchReferencesRange first count . count)
2982 (branch
2983 NvidiaLaunchReferencesAppend
2984 left
2985 right
2986 leftCount
2987 rightCount
2988 .
2989 (naturalAdd leftCount rightCount))))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.