Postgres.reject: def of bend-kit-postgres@0.3.0.0
Import: import bend-kit-postgres@0.3.0.0/postgres.bend as Postgres
Lines 112-113 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=112&end_line=113

import Base
import bend-kit-postgres@0.3.0.0/codec.bend as Codec

def reject(-A: Type, c: Conn, fs: List<&1, Codec.Notice>) -> IO(Result<&1, &1, Failure, A>):
  abort(A, c, Rejected{err.of(fs)})

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=bend-kit-postgres@0.3.0.0/codec.bend&name=Notice
  https://jend.leeeet.dev/definition.txt?path=bend-kit-postgres@0.3.0.0/postgres.bend&name=Conn
  https://jend.leeeet.dev/definition.txt?path=bend-kit-postgres@0.3.0.0/postgres.bend&name=Failure
  https://jend.leeeet.dev/definition.txt?path=bend-kit-postgres@0.3.0.0/postgres.bend&name=abort
  https://jend.leeeet.dev/definition.txt?path=bend-kit-postgres@0.3.0.0/postgres.bend&name=err.of