988def cgSlot =
989 (lambda unrestricted offset : Nat .
990 (lambda unrestricted value : Nat .
991 (lambda unrestricted rest : (family StdList (family CgSlot)) .
992 (constructor
993 StdList
994 StdListCons
995 (family CgSlot)
996 (constructor CgSlot CgSlotValue (naturalDivideUnchecked offset 4) value)
997 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.