Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
package oidc
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Source file States.ml
1 2 3 4 5 6 7 8 9type invalidPayload = [ `Msg of string ] type code = string type t = | Not_started | Authorizing of Parameters.t | Interaction of Parameters.t | Waiting_for_code of code * Jose.Jwt.t | Invalid of invalidPayload