125def capturePolicyProfile =
126 (lambda unrestricted value : (family CapturePolicy) .
127 (eliminate
128 CapturePolicy
129 (lambda unrestricted current : (family CapturePolicy) . (family CaptureProfile))
130 value
131 (branch
132 CapturePolicyValue
133 version
134 identity
135 profile
136 content
137 ordinary
138 reserved
139 bytes
140 dimensions
141 flush
142 required
143 .
144 profile)))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.