def asc.has
import bend-kit-regex@0.8.0.0/regex.bend as Regeximport Base
1402# Any non-ASCII byte may start a match: it may lead a char in start.
1403def asc.has(+b: U32, a: Asc) -> Bool:
1404 U32.is_le(128, b) || U32.is_ne((U32.shrn(asc.word((b >> 5n : U32), a), U32.to_nat((b .&. 31 : U32))) .&. 1 : U32), 0)