126def cgBumpAt =
127 (lambda unrestricted alignment : Nat .
128 (lambda unrestricted start : Nat .
129 (lambda unrestricted size : (pi unrestricted index : Nat . Nat) .
130 (lambda unrestricted index : Nat .
131 (cgAlign (cgBumpEnd alignment start size index) alignment)))))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.