AlphaGitHub
Source/Packages

Observe.Interchange

packages/observability/src/Observe/Interchange.alpha

684 lines44 declarations25.0 KiBSHA-256 3719d431a37a
Download exact fileView at revision426597bda5753d86c4

def · lines 369–377

aosIsOriginKind

Full file
369def aosIsOriginKind =
370  (lambda unrestricted text : Bytes .
371    (naturalOr
372      (bytes-equal text b"direct")
373      (naturalOr
374        (bytes-equal text b"reported")
375        (naturalOr
376          (bytes-equal text b"derived")
377          (naturalOr (bytes-equal text b"simulated") (bytes-equal text b"estimated"))))))

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.