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 209–228

capturePolicyByteBudget

Full file
209def capturePolicyByteBudget =
210  (lambda unrestricted value : (family CapturePolicy) .
211    (eliminate
212      CapturePolicy
213      (lambda unrestricted current : (family CapturePolicy) . Nat)
214      value
215      (branch
216        CapturePolicyValue
217        version
218        identity
219        profile
220        content
221        ordinary
222        reserved
223        bytes
224        dimensions
225        flush
226        required
227        .
228        bytes)))

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.