188def capturePolicyReservedCapacity =
189 (lambda unrestricted value : (family CapturePolicy) .
190 (eliminate
191 CapturePolicy
192 (lambda unrestricted current : (family CapturePolicy) . Nat)
193 value
194 (branch
195 CapturePolicyValue
196 version
197 identity
198 profile
199 content
200 ordinary
201 reserved
202 bytes
203 dimensions
204 flush
205 required
206 .
207 reserved)))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.