291def rpBoth =
292 (lambda unrestricted host : Nat .
293 (lambda unrestricted left : Nat .
294 (lambda unrestricted right : Nat .
295 (lambda unrestricted identity : Bytes .
296 (eliminate
297 StdResult
298 (lambda unrestricted r : (family StdResult (family NativeResourceFailure) (family ResourceSchedule)) .
299 Nat)
300 (admitNvidiaPlanHostResources
301 (rpContext b"first" 1 host left right)
302 (rpDirect 8192 0)
303 rpProgram)
304 (branch StdFailure reason . 0)
305 (branch
306 StdSuccess
307 schedule
308 .
309 (nvidiaPlanHostResourcesAdmitted
310 (nvidiaResourceWithNative
311 (rpContext identity 2 host left right)
312 (nativeResourceContextAddLeases
313 (nvidiaResourceNative (rpContext identity 2 host left right))
314 (resourceScheduleLeases schedule)))
315 (rpDirect 8192 0)
316 rpProgram)))))))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.