AlphaGitHub
Source/Systems

Coppelius.Build.Graph

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

3,462 lines536 declarations124.9 KiBSHA-256 878726898dd9
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 335–347

cgMatrixEntry

Full file
335def cgMatrixEntry =
336  (lambda unrestricted index : Nat .
337    (naturalSelect
338      (naturalEqual index cgEmbeddingMatrix)
339      cgEmbeddingEntry
340      (cgLayerEntry
341        (naturalDivideUnchecked
342          (naturalSaturatingSubtract index cgFirstLayerMatrix)
343          cgLayerMatrices)
344        (cgMatrixItem
345          (naturalModuloUnchecked
346            (naturalSaturatingSubtract index cgFirstLayerMatrix)
347            cgLayerMatrices)))))

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.