the embedding's, then each layer's (one repeat: the layers are alike)
1602def cgRecast : (family NvidiaLaunchSchedule) =
1603 (cgPhase
1604 cgPhaseRecast
1605 (cgThen
1606 (cgRecastMatrix cgEmbeddingMatrix)
1607 (nvidiaAffineLaunchRepeat
1608 cgLayers
1609 (lambda unrestricted l : Nat .
1610 (cgFor
1611 cgLayerMatrices
1612 (lambda unrestricted j : Nat .
1613 (cgRecastMatrix
1614 (naturalAdd cgFirstLayerMatrix (naturalAdd (naturalMultiply l cgLayerMatrices) j)))))))))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.