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