summaryrefslogtreecommitdiff
path: root/demo/more/select.urs
blob: f9208b912d2404ff42edb117352b2f1927c68359 (plain)
1
val selectChar : list (char * string) -> option char -> xml select [] []