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