Postgres.err.put: def of bend-kit-postgres@0.3.1.0
Import: import bend-kit-postgres@0.3.1.0/postgres.bend as Postgres
Lines 54-56 of bend-kit-postgres@0.3.1.0/postgres.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-postgres@0.3.1.0/postgres.bend&start_line=54&end_line=56

import Base

def err.put(+k: U32, +s: String, e: Err) -> Err:
  Err{+code, +message} = e
  Bool.pick(Err, U32.is_eq(k, 67), Err{s, message}, Bool.pick(Err, U32.is_eq(k, 77), Err{code, s}, Err{code, message}))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick
  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=bend-kit-postgres@0.3.1.0/postgres.bend&name=Err