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