268def utf8ByteInHalfOpenRange =
269 (lambda unrestricted value : Byte .
270 (lambda unrestricted minimum : Byte .
271 (lambda unrestricted maximum : Byte .
272 (utf8FlagAnd (utf8ByteAtLeast value minimum) (byte-less-than value maximum)))))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.