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.