AlphaGitHub
Source/Systems

Coppelius.Build.Graph

systems/coppelius/src/Coppelius/Build/Graph.alpha

3,461 lines536 declarations124.9 KiBSHA-256 6b9f923bd170
Download exact fileView at revision3c600751929f56cd01

def · lines 2628–2637

coppeliusLaunchSchedule

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