anchor.diff:  set_oidc_provider(OP, Pid) ->
       gen_server:call(Pid, {set_oidc_provider, OP}).
   
  +-spec set_user(User ::any(), Pid :: pid()) -> ok.
  +set_user(User, Pid) ->
  +    gen_server:call(Pid, {set_user, User}).
  +
   -spec is_logged_in(Pid :: pid()) -> true | false.
   is_logged_in(Pid) ->
       gen_server:call(Pid, is_logged_in).
  
positive.code: 	{reply, {ok, OP}, State, ?TIMEOUT(MA)};
  handle_call({set_oidc_provider, OP}, _From, #state{max_age=MA}=State) ->
  	{reply, ok, State#state{op=OP}, ?TIMEOUT(MA)};
  handle_call(is_logged_in, _From, #state{user=none, max_age=MA}=State) ->
  	{reply, false, State, ?TIMEOUT(MA)};
  handle_call(is_logged_in, _From, #state{user=_, max_age=MA}=State) ->
  
negative.code: -export([is_oidc_state/2]).
  -export([get_oidc_nonce/1]).
  -export([is_oidc_nonce/2]).
  
  -export([set_user/2]).
  
  -export([get_used_redirect/1]).
  -export([set_used_redirect/2]).
  