def utf8

ezhttp@0.22.0.0 · src/pct.bend:67

import Base

67# the UTF-8 bytes of one code point, in order (RFC 3629 §3)
68def utf8(+cp: U32) -> List<&2, U32>:
69  utf8.one(cp, U32.is_lt(cp, 128))