comparison src/ur/openidFfi.urs @ 6:99496175078b

Added preliminary versions of all the authentication verification steps
author Adam Chlipala <adam@chlipala.net>
date Mon, 27 Dec 2010 13:18:02 -0500
parents 2d409aff8800
children 976121190b2d
comparison
equal deleted inserted replaced
5:443f27cd1572 6:99496175078b
12 type outputs 12 type outputs
13 val getOutput : outputs -> string -> option string 13 val getOutput : outputs -> string -> option string
14 14
15 val direct : string -> inputs -> transaction outputs 15 val direct : string -> inputs -> transaction outputs
16 val indirect : queryString -> transaction outputs 16 val indirect : queryString -> transaction outputs
17
18 val sha256 : string -> string