adam@1: fun crender r = adam@1: adam@1: {List.mapX (fn r' => {[r'.Display]}) r.Choices} adam@1: adam@1: adam@1: fun crender' r = adam@1: adam@1: {List.mapX (fn s => {[s]}) r.Choices} adam@1: