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