adam@0: val init : transaction {}
adam@2: 
adam@2: type discovery
adam@2: val discover : string -> transaction (option discovery)
adam@2: val endpoint : discovery -> string
adam@2: val localId : discovery -> option string
adam@3: 
adam@3: type inputs
adam@3: val createInputs : transaction inputs
adam@3: val addInput : inputs -> string -> string -> transaction {}
adam@3: 
adam@3: type outputs
adam@3: val getOutput : outputs -> string -> option string
adam@27: val printOutputs : outputs -> transaction {}
adam@3: 
adam@4: val direct : string -> inputs -> transaction outputs
adam@4: val indirect : queryString -> transaction outputs
adam@6: 
adam@12: val sha1 : string -> string
adam@12: val sha256 : string -> string
adam@12: 
adam@12: val hmac_sha1 : string -> string -> string
adam@12: val hmac_sha256 : string -> string -> string
adam@8: 
adam@8: type dh
adam@8: val modulus : dh -> string
adam@8: val generator: dh -> string
adam@8: val public : dh -> string
adam@8: 
adam@8: val generate : transaction dh
adam@8: val compute : dh -> string -> transaction string
adam@12: val xor : string -> string -> string
greenrd@43: val secCmp : string -> string -> bool
adam@13: 
adam@13: val remode : outputs -> string -> inputs