Oauth2.callback: def of bend-kit-oauth2@0.11.0.1
Import: import bend-kit-oauth2@0.11.0.1/oauth2.bend as Oauth2
Lines 325-327 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=325&end_line=327

import Base
import bend-kit-url@0.4.1.0/url.bend as Url

# §4.1.2: the code in the redirect to redirect_uri, once its state matches ours; the server's error if it sent one.
def callback(url: String, +state: String) -> Result<&1, &1, Err, String>:
  callback.q(state, Url.take_to(url, 63))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bend-kit-oauth2@0.11.0.1/oauth2.bend&name=Err
  https://jend.leeeet.dev/definition.txt?path=bend-kit-oauth2@0.11.0.1/oauth2.bend&name=callback.q
  https://jend.leeeet.dev/definition.txt?path=bend-kit-url@0.4.1.0/url.bend&name=take_to