annotate 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
rev   line source
adam@2 1 val discover : string -> transaction (option {Endpoint : string, LocalId : option string})