Source/Packages

Observe.Interchange

packages/observability/src/Observe/Interchange.alpha

684 lines44 declarations25.0 KiBSHA-256 3719d431a37a

def · lines 347–367

aosIsRecordClass

Full file
347def aosIsRecordClass =
348  (lambda unrestricted text : Bytes .
349    (naturalOr
350      (bytes-equal text b"event")
351      (naturalOr
352        (bytes-equal text b"diagnostic")
353        (naturalOr
354          (bytes-equal text b"activity")
355          (naturalOr
356            (bytes-equal text b"state")
357            (naturalOr
358              (bytes-equal text b"metric")
359              (naturalOr
360                (bytes-equal text b"relation")
361                (naturalOr
362                  (bytes-equal text b"artifact")
363                  (naturalOr
364                    (bytes-equal text b"receipt")
365                    (naturalOr
366                      (bytes-equal text b"descriptor")
367                      (bytes-equal text b"capture-control")))))))))))

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.