Str.text.case.multi: def of ezsys@0.1.0.0
Import: import ezsys@0.1.0.0/src/str.bend as Str
Lines 275-282 of ezsys@0.1.0.0/src/str.bend: https://jend.leeeet.dev/read.txt?path=ezsys@0.1.0.0/src/str.bend&start_line=275&end_line=282

import Base

# the text a code point that maps to more than one maps to
def text.case.multi(ms: List<&2, Multi>, +cp: U32) -> Maybe<&2, String>:
  match ms:
    case Nil{}:
      None{}
    case Multi{+from, +to} <> rest:
      text.case.found(U32.is_eq(from, cp), to,
        _u => text.case.multi(rest, cp))

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  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_eq
  https://jend.leeeet.dev/definition.txt?path=ezsys@0.1.0.0/src/str.bend&name=Multi
  https://jend.leeeet.dev/definition.txt?path=ezsys@0.1.0.0/src/str.bend&name=text.case.found