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