Oauth2.good: def of bend-kit-oauth2@0.11.0.1
Import: import bend-kit-oauth2@0.11.0.1/oauth2.bend as Oauth2
Lines 138-141 of bend-kit-oauth2@0.11.0.1/oauth2.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-oauth2@0.11.0.1/oauth2.bend&start_line=138&end_line=141

import Base

# A 2xx with an access token of type Bearer (RFC 6750 §4, case-insensitive), the only kind request sends.
def good(+status: U32, g: Got) -> Bool:
  Got{a, t, r, s, e, er, d} = g
  Bool.and(Bool.and(U32.is_le(200, status), U32.is_lt(status, 300)), Bool.and(Bool.not(String.is_empty(a)), String.eq(String.to_lower(t), "bearer")))

Uses (10):
  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=Bool.not
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.eq
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.is_empty
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.to_lower
  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_le
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_lt
  https://jend.leeeet.dev/definition.txt?path=bend-kit-oauth2@0.11.0.1/oauth2.bend&name=Got