Mercurial > openid
comparison src/ur/openidFfi.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 |
---|---|
2 | 2 |
3 type discovery | 3 type discovery |
4 val discover : string -> transaction (option discovery) | 4 val discover : string -> transaction (option discovery) |
5 val endpoint : discovery -> string | 5 val endpoint : discovery -> string |
6 val localId : discovery -> option string | 6 val localId : discovery -> option string |
7 | |
8 type inputs | |
9 val createInputs : transaction inputs | |
10 val addInput : inputs -> string -> string -> transaction {} | |
11 | |
12 type outputs | |
13 val getOutput : outputs -> string -> option string | |
14 | |
15 val indirect : string -> inputs -> transaction outputs |