AlphaGitHub
Source/Packages

Observe.CapturePolicy

packages/observability/src/Observe/CapturePolicy.alpha

457 lines55 declarations13.3 KiBSHA-256 e30e14526ddb
Download exact fileView at revision426597bda5753d86c4

def · lines 56–65

captureProfileLevel

Full file
56def captureProfileLevel =
57  (lambda unrestricted profile : (family CaptureProfile) .
58    (eliminate
59      CaptureProfile
60      (lambda unrestricted current : (family CaptureProfile) . Nat)
61      profile
62      (branch CaptureLifecycleProfile . 0)
63      (branch CaptureProgressProfile . 1)
64      (branch CapturePerformanceProfile . 2)
65      (branch CaptureDiagnosticProfile . 3)))

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.