Qs.lead.f4: def of emerging-ezhttp@0.21.0.0
Import: import emerging-ezhttp@0.21.0.0/src/qs.bend as Qs
Lines 127-133 of emerging-ezhttp@0.21.0.0/src/qs.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezhttp@0.21.0.0/src/qs.bend&start_line=127&end_line=133

import Base

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

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/qs.bend&name=Lead