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