434def captureSiteSelected =
435 (lambda unrestricted policy : (family CapturePolicy) .
436 (lambda unrestricted site : (family CaptureSite) .
437 (naturalAnd
438 (captureSiteAdmission policy site)
439 (aosChoose
440 Nat
441 (naturalEqual (captureClassLevel (captureSiteClass site)) 4)
442 (capturePolicyContentEnabled policy)
443 (naturalLessOrEqual
444 (captureClassLevel (captureSiteClass site))
445 (captureProfileLevel (capturePolicyProfile policy)))))))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.