Lex.unicode.sur.hi: def of emerging-ezjson@1.3.0.0
Import: import emerging-ezjson@1.3.0.0/src/lex.bend as Lex
Lines 139-144 of emerging-ezjson@1.3.0.0/src/lex.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezjson@1.3.0.0/src/lex.bend&start_line=139&end_line=144

import Base

def unicode.sur.hi(+cp: U32, ge: Bool, le: Bool) -> Sur:
  match ge le:
    case True{} True{}:
      SHi{}
    case a b:
      unicode.sur.lo(U32.is_ge(cp, 56320), U32.is_le(cp, 57343))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_ge
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_le
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/lex.bend&name=Sur
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/lex.bend&name=unicode.sur.lo