Source/Packages

Observe.CapturePolicy

packages/observability/src/Observe/CapturePolicy.alpha

457 lines55 declarations13.3 KiBSHA-256 e30e14526ddb

def · lines 309–315

captureSiteClass

Full file
309def captureSiteClass =
310  (lambda unrestricted value : (family CaptureSite) .
311    (eliminate
312      CaptureSite
313      (lambda unrestricted current : (family CaptureSite) . (family CaptureClass))
314      value
315      (branch CaptureSiteValue identity name kind reserved dimensions stride . kind)))

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.