Errno.err.look: def of ezsys@0.1.0.0
Import: import ezsys@0.1.0.0/src/errno.bend as Errno
Lines 74-80 of ezsys@0.1.0.0/src/errno.bend: https://jend.leeeet.dev/read.txt?path=ezsys@0.1.0.0/src/errno.bend&start_line=74&end_line=80

import Base

# the text of the first pair with the code, or why when there is none
def err.look(table: err.Table(), +code: U32, +why: String) -> String:
  match table:
    case Nil{}:
      why
    case Con{(k, text), rest}:
      err.when(U32.is_eq(code, k), _u => text, _u => err.look(rest, code, why))

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=Sigma
  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/errno.bend&name=err.Table
  https://jend.leeeet.dev/definition.txt?path=ezsys@0.1.0.0/src/errno.bend&name=err.when