adam@0: library config
adam@0: ffi openidFfi
adam@1: link -lurweb_openid -lexpat
adam@0: effectful OpenidFfi.init
adam@1: effectful OpenidFfi.discover
adam@3: effectful OpenidFfi.createInputs
adam@3: effectful OpenidFfi.addInput
adam@27: effectful OpenidFfi.printOutputs
adam@8: effectful OpenidFfi.direct
adam@3: effectful OpenidFfi.indirect
adam@8: effectful OpenidFfi.generate
adam@8: effectful OpenidFfi.compute
adam@17: library $META
adam@0: 
adam@6: $/string
adam@2: $/option
adam@9: $/list
adam@0: openid
adam@16: openidUser