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 942–950

cgTableAt

Full file
942def cgTableAt =
943  (lambda unrestricted values : (family StdList Nat) .
944    (lambda unrestricted p : Nat .
945      (eliminate
946        StdOption
947        (lambda unrestricted current : (family StdOption Nat) . Nat)
948        (stdListIndex Nat values p)
949        (branch StdNone . float32NotRounded)
950        (branch StdSome value . value))))

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.