Module Oidc.Pkce

* Copyright 2022 Ulrik Strid. All rights reserved. * Use of this source code is governed by a BSD-style * license that can be found in the LICENSE file.

module Verifier : sig ... end
module Challenge : sig ... end
val verify : Verifier.t -> Challenge.t -> bool

https://www.rfc-editor.org/rfc/rfc7636#section-4.6