type Utf8Lead

cli@0.2.0.0 · cli.bend:7908

import Base

7908# What a byte starts: no UTF-8 sequence (a continuation byte, C0, C1, F5
7909# to FF, or a value past 255), or one with more continuation bytes, the
7910# code point bits the byte carries, and the least code point a sequence
7911# that long may hold, below which it is overlong.
7912type Utf8Lead is Data:
7913  NotLead{}
7914  Utf8Lead{more: Nat, bits: U32, least: U32}