def lead.f4

emerging-ezhttp@0.21.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{}