Extend the capture arena, rather than reserving an unrelated absolute
address. The application and acquisition residents keep their owner.
100def captureIdentityAt =
101 (lambda unrestricted applicationBytes : Nat .
102 (lambda unrestricted ordinaryCapacity : Nat .
103 (lambda unrestricted reservedCapacity : Nat .
104 (captureAlign (captureArenaBytes applicationBytes ordinaryCapacity reservedCapacity)))))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.