annotate src/ur/lib.urp @ 64:81632203928f

Fix 'hidden' constraint
author Adam Chlipala <adam@chlipala.net>
date Wed, 11 Dec 2013 17:11:32 -0500
parents f129ddee75f3
children
rev   line source
adam@0 1 library config
adam@0 2 ffi openidFfi
adam@1 3 link -lurweb_openid -lexpat
adam@0 4 effectful OpenidFfi.init
adam@1 5 effectful OpenidFfi.discover
adam@3 6 effectful OpenidFfi.createInputs
adam@3 7 effectful OpenidFfi.addInput
adam@27 8 effectful OpenidFfi.printOutputs
adam@8 9 effectful OpenidFfi.direct
adam@3 10 effectful OpenidFfi.indirect
adam@8 11 effectful OpenidFfi.generate
adam@8 12 effectful OpenidFfi.compute
adam@17 13 library $META
adam@0 14
adam@6 15 $/string
adam@2 16 $/option
adam@9 17 $/list
adam@0 18 openid
adam@16 19 openidUser