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 revisionf5034773ad4bb52133

def · lines 334–346

cgMatrixEntry

Full file
334def cgMatrixEntry =
335  (lambda unrestricted index : Nat .
336    (naturalSelect
337      (naturalEqual index cgEmbeddingMatrix)
338      cgEmbeddingEntry
339      (cgLayerEntry
340        (naturalDivideUnchecked
341          (naturalSaturatingSubtract index cgFirstLayerMatrix)
342          cgLayerMatrices)
343        (cgMatrixItem
344          (naturalModuloUnchecked
345            (naturalSaturatingSubtract index cgFirstLayerMatrix)
346            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.