Mercurial > openid
comparison src/ur/openid.urs @ 3:f59083771ee2
Saving associations
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sun, 26 Dec 2010 15:11:23 -0500 |
parents | b757dc2bd2f6 |
children | 2d409aff8800 |
comparison
equal
deleted
inserted
replaced
2:b757dc2bd2f6 | 3:f59083771ee2 |
---|---|
1 val discover : string -> transaction (option {Endpoint : string, LocalId : option string}) | 1 val discover : string -> transaction (option {Endpoint : string, LocalId : option string}) |
2 | |
3 datatype association = Handle of string | Error of string | |
4 val association : string -> transaction association |