Auth.auth.basic: def of ezhttp@0.22.0.0
Import: import ezhttp@0.22.0.0/src/auth.bend as Auth
Lines 11-13 of ezhttp@0.22.0.0/src/auth.bend: https://jend.leeeet.dev/read.txt?path=ezhttp@0.22.0.0/src/auth.bend&start_line=11&end_line=13

import Base
import ezhttp@0.22.0.0/src/http.bend as Http
import ezhttp@0.22.0.0/src/b64.bend as B64

# Authorization: Basic … (RFC 7617, credentials are RFC 4648 Base64)
def auth.basic(user: String, password: String) -> Http.Header:
  Http.H{"Authorization", "Basic " ++ B64.b64.encode(user ++ ":" ++ password)}

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=ezhttp@0.22.0.0/src/b64.bend&name=b64.encode
  https://jend.leeeet.dev/definition.txt?path=ezhttp@0.22.0.0/src/http.bend&name=Header