1692def cgInitialization : (family NvidiaLaunchSchedule) =
1693 (cgPhase
1694 cgPhaseInitialize
1695 (cgThen
1696 (cgPieces
1697 cgParameterElements
1698 cgMaximumElements
1699 (lambda unrestricted offset : Nat .
1700 (lambda unrestricted elements : Nat .
1701 (cgLaunch
1702 cgImageRandomNormal
1703 (naturalDivideUnchecked elements cgThreads)
1704 1
1705 1
1706 (cgSlot
1707 qmdBlockDimensionXOffset
1708 cgThreads
1709 (cgPointer
1710 (cgArgument 0)
1711 (cgArena (naturalAdd cgBankP (naturalMultiply 4 offset)))
1712 (cgSlot
1713 (cgScalar 0)
1714 coppeliusRunSeed
1715 (cgSlot
1716 (cgScalar 1)
1717 (naturalMultiply cgRandomStreams (naturalAdd cgRandomStreamOrigin offset))
1718 (cgSlot (cgScalar 2) cgInitializationScale cgNoSlots)))))))))
1719 (cgThen
1720 (nvidiaAffineLaunchRepeat
1721 (stdListLength Nat cgZeroedBanks)
1722 (lambda unrestricted bank : Nat .
1723 (cgPieces
1724 cgParameterElements
1725 cgMaximumElements
1726 (lambda unrestricted offset : Nat .
1727 (lambda unrestricted elements : Nat .
1728 (cgFillWith
1729 (cgArena (naturalAdd (cgIndex cgZeroedBanks bank) (naturalMultiply 4 offset)))
1730 elements
1731 cgZero))))))
1732 (cgThen
1733 (cgThen
1734 (cgEntryInitialization cgEmbeddingEntry)
1735 (cgThen
1736 (nvidiaAffineLaunchRepeat
1737 cgLayers
1738 (lambda unrestricted l : Nat .
1739 (cgFor
1740 cgLayerItems
1741 (lambda unrestricted k : Nat . (cgEntryInitialization (cgLayerEntry l k))))))
1742 (cgThen (cgEntryInitialization cgFinalGamma) (cgEntryInitialization cgFinalBeta))))
1743 cgRecast))))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.