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 167–186

capturePolicyOrdinaryCapacity

Full file
167def capturePolicyOrdinaryCapacity =
168  (lambda unrestricted value : (family CapturePolicy) .
169    (eliminate
170      CapturePolicy
171      (lambda unrestricted current : (family CapturePolicy) . Nat)
172      value
173      (branch
174        CapturePolicyValue
175        version
176        identity
177        profile
178        content
179        ordinary
180        reserved
181        bytes
182        dimensions
183        flush
184        required
185        .
186        ordinary)))

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.