1003def cgPointer =
1004 (lambda unrestricted offset : Nat .
1005 (lambda unrestricted address : Nat .
1006 (lambda unrestricted rest : (family StdList (family CgSlot)) .
1007 (cgSlot
1008 offset
1009 (naturalModuloUnchecked address cgWordRange)
1010 (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.