Source/Systems

Coppelius.Build.Graph

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

3,461 lines536 declarations124.9 KiBSHA-256 6b9f923bd170

def · lines 1002–1009

cgPointer

Full file
1002def cgPointer =
1003  (lambda unrestricted offset : Nat .
1004    (lambda unrestricted address : Nat .
1005      (lambda unrestricted rest : (family StdList (family CgSlot)) .
1006        (cgSlot
1007          offset
1008          (naturalModuloUnchecked address cgWordRange)
1009          (cgSlot (naturalAdd offset 4) (naturalDivideUnchecked address cgWordRange) rest)))))

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.