Mercurial > openid
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 |