Wirespec.wire.errno.name: def of emerging-ezhttp@0.21.0.0
Import: import emerging-ezhttp@0.21.0.0/src/wirespec.bend as Wirespec
Lines 326-328 of emerging-ezhttp@0.21.0.0/src/wirespec.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezhttp@0.21.0.0/src/wirespec.bend&start_line=326&end_line=328

import Base
import emerging-ezhttp@0.21.0.0/src/http.bend as Http

# an error number's name (SPEC.md HTTP-CLI-14)
def wire.errno.name(+n: U32) -> String:
  wire.errno.or(Http.reason.in(wire.errnos(), n))

Uses (5):
  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=emerging-ezhttp@0.21.0.0/src/http.bend&name=reason.in
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/wirespec.bend&name=wire.errno.or
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/wirespec.bend&name=wire.errnos