def wire.errno.or

emerging-ezhttp@0.21.0.0 · src/wirespec.bend:318

import Base

318# a name from the table, or `errno` when it has none
319def wire.errno.or(name: String) -> String:
320  match name:
321    case SNil{}:
322      "errno"
323    case SCon{h, t}:
324      SCon{h, t}