78def captureClassLevel =
79 (lambda unrestricted kind : (family CaptureClass) .
80 (eliminate
81 CaptureClass
82 (lambda unrestricted current : (family CaptureClass) . Nat)
83 kind
84 (branch CaptureLifecycleClass . 0)
85 (branch CaptureHealthClass . 0)
86 (branch CaptureProgressClass . 1)
87 (branch CapturePerformanceClass . 2)
88 (branch CaptureDiagnosticClass . 3)
89 (branch CaptureContentClass . 4)))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.