annotate tests/both2.ur @ 2095:d9f918b79b5a

List.mem
author Adam Chlipala <adam@chlipala.net>
date Tue, 23 Dec 2014 14:41:23 -0500
parents a5eb8f87bc17
children
rev   line source
adamc@1046 1 fun main () : transaction page =
adamc@1046 2 let
adamc@1046 3 fun submit r = return <xml/>
adamc@1046 4 in
adamc@1046 5 return <xml>
adamc@1046 6 <body>
adamc@1046 7 <form>
adamc@1046 8 <textbox{#Text}/><submit action={submit}/>
adamc@1046 9 </form>
adamc@1046 10 </body>
adamc@1046 11 </xml>
adamc@1046 12 end
adamc@1046 13
adamc@1046 14