353def coppeliusGathers =
354 (lambda unrestricted entries : Bytes .
355 (lambda unrestricted first : Nat .
356 (lambda unrestricted tail : (family NvidiaPlanHostSteps) .
357 (stdListFold (family CoppeliusGatherRun) (family NvidiaPlanHostSteps)
358 (lambda unrestricted run : (family CoppeliusGatherRun) .
359 (lambda unrestricted after : (family NvidiaPlanHostSteps) .
360 (eliminate CoppeliusGatherRun (lambda unrestricted current : (family CoppeliusGatherRun) . (family NvidiaPlanHostSteps)) run
361 (branch CoppeliusGatherRunValue chunk length .
362 (constructor NvidiaPlanHostSteps NvidiaPlanHostStepRepeat length
363 (constructor NvidiaPlanHostSteps NvidiaPlanHostStepReissue (naturalAdd first chunk) 1 (coppeliusGatherPiece chunk) 1
364 (coppeliusGatherEntry entries chunk) (coppeliusGatherStride entries)
365 (coppeliusWriteCheckpoint coppeliusChunkBytes coppeliusStepsEnd))
366 after)))))
367 (coppeliusReissue entries (naturalAdd first coppeliusFullChunks) (coppeliusGatherPiece coppeliusFullChunks)
368 (coppeliusWriteCheckpoint coppeliusTailBytes tail))
369 (coppeliusGatherRuns entries)))))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.