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