Source/Packages

Observe.CapturePolicy

packages/observability/src/Observe/CapturePolicy.alpha

457 lines55 declarations13.3 KiBSHA-256 e30e14526ddb

def · lines 301–307

captureSiteName

Full file
301def captureSiteName =
302  (lambda unrestricted value : (family CaptureSite) .
303    (eliminate
304      CaptureSite
305      (lambda unrestricted current : (family CaptureSite) . Bytes)
306      value
307      (branch CaptureSiteValue identity name kind reserved dimensions stride . name)))

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.