97def nativeResourceContextAddLeases =
98 (lambda unrestricted context : (family NativeResourceContext) .
99 (lambda unrestricted additional : (family StdList (family ResourceLease)) .
100 (eliminate
101 NativeResourceContext
102 (lambda unrestricted current : (family NativeResourceContext) .
103 (family NativeResourceContext))
104 context
105 (branch
106 NativeResourceContextOf
107 schedule
108 identity
109 endpoint
110 domain
111 quantum
112 entries
113 pairs
114 .
115 (constructor
116 NativeResourceContext
117 NativeResourceContextOf
118 (constructor
119 ResourceSchedule
120 ResourceScheduleOf
121 (resourceScheduleGraph schedule)
122 (resourceSchedulePlacements schedule)
123 (stdListAppend (family ResourceLease) additional (resourceScheduleLeases schedule)))
124 identity
125 endpoint
126 domain
127 quantum
128 entries
129 pairs)))))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.