272def capturePolicyRequired =
273 (lambda unrestricted value : (family CapturePolicy) .
274 (eliminate
275 CapturePolicy
276 (lambda unrestricted current : (family CapturePolicy) . Nat)
277 value
278 (branch
279 CapturePolicyValue
280 version
281 identity
282 profile
283 content
284 ordinary
285 reserved
286 bytes
287 dimensions
288 flush
289 required
290 .
291 required)))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.