146def capturePolicyContentEnabled =
147 (lambda unrestricted value : (family CapturePolicy) .
148 (eliminate
149 CapturePolicy
150 (lambda unrestricted current : (family CapturePolicy) . Nat)
151 value
152 (branch
153 CapturePolicyValue
154 version
155 identity
156 profile
157 content
158 ordinary
159 reserved
160 bytes
161 dimensions
162 flush
163 required
164 .
165 content)))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.