Mercurial > openid
comparison src/ur/openidFfi.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 |
comparison
equal
deleted
inserted
replaced
1:c230e6da3ff6 | 2:b757dc2bd2f6 |
---|---|
1 val init : transaction {} | 1 val init : transaction {} |
2 val discover : string -> transaction (option string) | 2 |
3 type discovery | |
4 val discover : string -> transaction (option discovery) | |
5 val endpoint : discovery -> string | |
6 val localId : discovery -> option string |