open Wap (* Here is the actual WML document *) (*

You selected: $(name)

*) (* The above doc is translated into the following well-formed element. *) let u = U.wml [U.card [U.do_ [U.go []]; U.p [U.select [U.option [U.pcdata []]; U.option [U.pcdata []]; U.option [U.pcdata []]]]]; U.card [U.p [U.pcdata []]]] (* Element u is then validated ... *) let v = Dtd.validate u let w = Dtd.forget v let x = Dtd.validate w let ok0 = u = w let ok1 = v = x let main () = let _ = if ok0 then (print_string "forget o validate = id"; print_newline ()) else (print_string "forget o validate != id"; print_newline ()) in let _ = if ok1 then (print_string "validate o forget = id"; print_newline ()) else (print_string "validate o forget != id"; print_newline ()) in () let _ = main ()