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 251–270

capturePolicyFlushOpportunities

Full file
251def capturePolicyFlushOpportunities =
252  (lambda unrestricted value : (family CapturePolicy) .
253    (eliminate
254      CapturePolicy
255      (lambda unrestricted current : (family CapturePolicy) . Nat)
256      value
257      (branch
258        CapturePolicyValue
259        version
260        identity
261        profile
262        content
263        ordinary
264        reserved
265        bytes
266        dimensions
267        flush
268        required
269        .
270        flush)))

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.