---------------------------------------------------------------------------
Availability (AOS-VAL-003, AOS-JSON-006)
1 when `state` names a non-present availability state
495def aosIsAbsenceState =
496 (lambda unrestricted state : Bytes .
497 (naturalOr (bytes-equal state b"not_recorded")
498 (naturalOr (bytes-equal state b"unsupported")
499 (naturalOr (bytes-equal state b"unavailable")
500 (naturalOr (bytes-equal state b"redacted")
501 (naturalOr (bytes-equal state b"expired")
502 (naturalOr (bytes-equal state b"invalid")
503 (bytes-equal state b"unknown"))))))))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.