Mercurial > openid
view src/ur/openid.urs @ 2:b757dc2bd2f6
Discovery returns a record
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sun, 26 Dec 2010 13:28:06 -0500 |
parents | c230e6da3ff6 |
children | f59083771ee2 |
line wrap: on
line source
val discover : string -> transaction (option {Endpoint : string, LocalId : option string})