Mercurial > openid

diff src/ur/openidFfi.urs @ 13:de04a3fc6b72

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Stateless verification worked
author Adam Chlipala <adam@chlipala.net>
date Sun, 02 Jan 2011 10:11:38 -0500
parents c778455fe570
children f129ddee75f3
line wrap: on
line diff
--- a/src/ur/openidFfi.urs	Sat Jan 01 14:00:52 2011 -0500
+++ b/src/ur/openidFfi.urs	Sun Jan 02 10:11:38 2011 -0500
@@ -29,3 +29,5 @@
 val generate : transaction dh
 val compute : dh -> string -> transaction string
 val xor : string -> string -> string
+
+val remode : outputs -> string -> inputs