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] |