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 213–226

cgLayerItemElements

Full file
213def cgLayerItemElements =
214  (lambda unrestricted k : Nat .
215    (naturalSelect
216      (naturalEqual k cgItemQkv)
217      (naturalMultiply (naturalMultiply cgQkvParts cgWidth) cgWidth)
218      (naturalSelect
219        (naturalEqual k cgItemOutput)
220        (naturalMultiply cgWidth cgWidth)
221        (naturalSelect
222          (naturalOr
223            (naturalEqual k cgItemUp)
224            (naturalOr (naturalEqual k cgItemGate) (naturalEqual k cgItemDown)))
225          (naturalMultiply cgFfn cgWidth)
226          cgWidth))))

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.