def lead.f4

ezhttp@0.22.0.0 · src/qs.bend:127

import Base

127# F4: the last lead, up to U+10FFFF; F5 to FF lead nothing
128def lead.f4(f4: Bool) -> Lead:
129  match f4:
130    case True{}:
131      Opens{4, 2n, 128, 143}
132    case False{}:
133      Bad{}