2788def cgReferences =
2789 (lambda unrestricted ranges : (family StdList (family CgRange)) .
2790 (eliminate
2791 StdList
2792 (lambda unrestricted current : (family StdList (family CgRange)) .
2793 (family NvidiaLaunchReferences))
2794 ranges
2795 (branch StdListEmpty . (constructor NvidiaLaunchReferences NvidiaLaunchReferencesEmpty))
2796 (branch
2797 StdListCons
2798 head
2799 tail
2800 induction
2801 .
2802 (eliminate
2803 CgRange
2804 (lambda unrestricted current : (family CgRange) . (family NvidiaLaunchReferences))
2805 head
2806 (branch
2807 CgRangeValue
2808 first
2809 count
2810 .
2811 (constructor
2812 NvidiaLaunchReferences
2813 NvidiaLaunchReferencesAppend
2814 induction
2815 (constructor NvidiaLaunchReferences NvidiaLaunchReferencesRange first 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.