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 230–249

capturePolicyDimensionLimit

Full file
230def capturePolicyDimensionLimit =
231  (lambda unrestricted value : (family CapturePolicy) .
232    (eliminate
233      CapturePolicy
234      (lambda unrestricted current : (family CapturePolicy) . Nat)
235      value
236      (branch
237        CapturePolicyValue
238        version
239        identity
240        profile
241        content
242        ordinary
243        reserved
244        bytes
245        dimensions
246        flush
247        required
248        .
249        dimensions)))

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.