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 321–332

cgMatrixItem

Full file
321def cgMatrixItem =
322  (lambda unrestricted t : Nat .
323    (naturalSelect
324      (naturalEqual t cgMatrixQkv)
325      cgItemQkv
326      (naturalSelect
327        (naturalEqual t cgMatrixOutput)
328        cgItemOutput
329        (naturalSelect
330          (naturalEqual t cgMatrixUp)
331          cgItemUp
332          (naturalSelect (naturalEqual t cgMatrixGate) cgItemGate cgItemDown)))))

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.