[Ur] Building site templates

[Adam Chlipala]

James Parker wrote:
>          title'<- return (case title of
>                  | None =>  "UMDTalks"
>                  | Some t =>  String.append t " - UMDTalks"
>    

Here I would recommend the infix operator [^] instead of [String.append].

> My current function signature is:
>
> val template : option string ->  xml ->  transaction page
>
> I believe the problem is in the signature. I guess what is the proper type for the second parameter?
>    

You probably want [xbody] instead of [xml].  You can look in 
lib/ur/basis.urs to see the kinds of all the built-in constructors.