2629def coppeliusLaunchSchedule : (family NvidiaLaunchSchedule) =
2630 (cgThen
2631 cgBeforeAdamW
2632 (cgThen
2633 (cgFor
2634 coppeliusUpdatePieces
2635 (lambda unrestricted k : Nat . (cgAdamW (naturalAdd coppeliusFirstStep k))))
2636 (cgThen
2637 cgFinal
2638 (cgThen (cgCheckpointTransfer 0) (cgThen (cgReportTransfer 1) cgLossRecord)))))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.