adam@1: val crender : {Choices : list {Key : string, Display : string},
adam@1:                Selected : source string}
adam@1:               -> xbody
adam@1: 
adam@1: val crender' : {Choices : list string,
adam@1:                 Selected : source string}
adam@1:                -> xbody