Scram.nonce.ok: def of bend-kit-postgres@0.3.0.0
Import: import bend-kit-postgres@0.3.0.0/scram.bend as Scram
Lines 83-85 of bend-kit-postgres@0.3.0.0/scram.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-postgres@0.3.0.0/scram.bend&start_line=83&end_line=85

import Base

# The server nonce must be the client nonce plus at least one more printable char.
def nonce.ok(+client: String, +server: String) -> Bool:
  Bool.and(Bool.and(String.starts_with(server, client), Nat.is_lt(String.length(client), String.length(server))), printable(server))

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.is_lt
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.length
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.starts_with
  https://jend.leeeet.dev/definition.txt?path=bend-kit-postgres@0.3.0.0/scram.bend&name=printable