Vocabulary
furnace.auth.providers

Inputs
ticketan object
usernamean object
provideran object


Outputs
user/fan object


Definition


:: claim-ticket ( ticket username provider -- user/f )
username provider get-user :> user user [
user ticket>> ticket =
[ user f >>ticket dup provider update-user ] [ f ] if
] [ f ] if ;