lowercase hex of even length (bytes)
172def aosIsHexBytes =
173 (lambda unrestricted input : Bytes .
174 (naturalAnd (aosAllBytes aosIsLowerHexByte input) (naturalIsZero (naturalModuloUnchecked (bytes-length input) 2))))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.