diff 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
line wrap: on
line diff
--- a/src/ur/openidFfi.urs	Sun Dec 26 13:28:06 2010 -0500
+++ b/src/ur/openidFfi.urs	Sun Dec 26 15:11:23 2010 -0500
@@ -4,3 +4,12 @@
 val discover : string -> transaction (option discovery)
 val endpoint : discovery -> string
 val localId : discovery -> option string
+
+type inputs
+val createInputs : transaction inputs
+val addInput : inputs -> string -> string -> transaction {}
+
+type outputs
+val getOutput : outputs -> string -> option string
+
+val indirect : string -> inputs -> transaction outputs