comparison src/ur/openidFfi.urs @ 4:2d409aff8800

Received an OpenID authentication response, but haven't checked it yet
author Adam Chlipala <adam@chlipala.net>
date Sun, 26 Dec 2010 17:19:52 -0500
parents f59083771ee2
children 99496175078b
comparison
equal deleted inserted replaced
3:f59083771ee2 4:2d409aff8800
10 val addInput : inputs -> string -> string -> transaction {} 10 val addInput : inputs -> string -> string -> transaction {}
11 11
12 type outputs 12 type outputs
13 val getOutput : outputs -> string -> option string 13 val getOutput : outputs -> string -> option string
14 14
15 val indirect : string -> inputs -> transaction outputs 15 val direct : string -> inputs -> transaction outputs
16 val indirect : queryString -> transaction outputs