Source/Packages

Observe.Interchange

packages/observability/src/Observe/Interchange.alpha

684 lines44 declarations25.0 KiBSHA-256 3719d431a37a

def · lines 493–495

aosIsArtifactIdentity

Full file
`sha256:` then 64 lowercase hex digits
493def aosIsArtifactIdentity =
494  (lambda unrestricted text : Bytes .
495    (naturalAnd (aosHasPrefix b"sha256:" text) (aosIsHexOfWidth 64 (aosDropBytes 7 text))))

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.