Postgres.err.first: def of bend-kit-postgres@0.3.0.0
Import: import bend-kit-postgres@0.3.0.0/postgres.bend as Postgres
Lines 483-488 of bend-kit-postgres@0.3.0.0/postgres.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-postgres@0.3.0.0/postgres.bend&start_line=483&end_line=488

import Base

def err.first(old: Maybe<&1, Err>, e: Err) -> Maybe<&1, Err>:
  match old:
    case None{}:
      Some{e}
    case Some{x}:
      Some{x}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=bend-kit-postgres@0.3.0.0/postgres.bend&name=Err