| up | nat -> nat |
| upd | (string -> string) -> parser[void] |
| upd | aEntry ** (data -> data) -> com[void] : [1], [2] |
| upd | dom ** (codom -> codom) ** map -> map : [1], [2], [3] |
| upd | mapEntry ** (map[data1, <, data2] -> map[data1, <, data2]) -> com[void] : [1], [2] |
| upd | nat ** (char -> char) ** string -> string |
| upd | nat ** (codom -> codom) ** natMap -> natMap |
| upd | nat ** (data -> data) ** array -> array |
| upd | nat ** (data -> data) ** bstree[data, <] -> bstree[data, <] |
| upd | nat ** (data -> data) ** dArray -> dArray |
| upd | nat ** (data -> data) ** heap[data, <] -> heap[data, <] |
| upd | nat ** (data -> data) ** iseq[data] -> iseq[data] |
| upd | nat ** (data -> data) ** seq[data] -> seq[data] |
| upd | nat ** (data -> data) ** tree[data] -> tree[data] |
| upd | nat ** char ** denotation -> denotation |
| upd | nat ** char ** string -> string |
| upd | nat ** data ** array -> array |
| upd | nat ** data ** bstree[data, <] -> bstree[data, <] |
| upd | nat ** data ** dArray -> dArray |
| upd | nat ** data ** heap[data, <] -> heap[data, <] |
| upd | nat ** data ** iseq[data] -> iseq[data] |
| upd | nat ** data ** seq[data] -> seq[data] |
| upd | nat ** data ** tree[data] -> tree[data] |
| upd | seqEntry ** (seq[data] -> seq[data]) -> com[void] : [1], [2] |
| upd | setEntry ** (set[data, <] -> set[data, <]) -> com[void] : [1], [2] |
| update | com[void] : [1], [2], [3] |
| upper | char -> char : [1], [2], [3] |
| upper? | char -> bool : [1], [2], [3] |
| upsilon | char |
| Upsilon | char |
| UpsilonAccent | char |
| upsilonAccent | char |
| upsilonDiaeresis | char |
| UpsilonDiaeresis | char |
| upsilonDiaeresisAndAccent | char |
| uptime | com[real] |
| upto | (char -> bool) -> parser[denotation] |
| upto | (char -> bool) -> parser[string] |
| upto | char -> parser[denotation] |
| upto | char -> parser[string] |