| exact | searchOpt |
| exact? | searchOpt -> bool |
| exchange | cursor |
| excl | data ** bag -> bag |
| excl | data ** bstree -> bstree |
| excl | data ** heap -> heap |
| excl | data ** set -> set : [1], [2] |
| excl | dom ** codom ** rel -> rel |
| excl | nat ** set -> set |
| exclAll | data ** bag -> bag |
| EXEC | com -> data |
| exec | denotation ** seq[denotation] -> com[void] |
| exec | sighandler -> com[void] |
| execE | denotation ** seq[denotation] ** seq[denotation] -> com[void] |
| execFormat | ans[data] |
| execFormat? | ans[data] -> bool |
| execP | denotation ** seq[denotation] -> com[void] |
| execve | denotation ** seq[string] ** option[seq[string]] -> com[void] |
| exist1? | (data -> bool) ** seq -> bool |
| exist? | (char -> bool) ** string -> bool |
| exist? | (data -> bool) ** bag -> bool |
| exist? | (data -> bool) ** bstree -> bool |
| exist? | (data -> bool) ** heap -> bool |
| exist? | (data -> bool) ** seq -> bool |
| exist? | (data -> bool) ** set -> bool : [1], [2] |
| exist? | (data -> bool) ** tree -> bool |
| exist? | (dom ** codom ** data -> bool) ** rel -> bool |
| exist? | (dom ** codom -> bool) ** map -> bool : [1], [2], [3] |
| exist? | (dom ** codom -> bool) ** rel -> bool |
| exist? | (nat ** codom -> bool) ** natMap -> bool |
| exist? | (nat -> bool) ** set -> bool |
| exit | nat -> com |
| exit | procstat -> com[void] |
| exited | procstat -> childstat |
| exited? | childstat -> bool |
| exp | real -> real |
| exp | sreal -> sreal |
| expand | packOp |
| expand | view -> view |
| explode | bag[data, <] -> seq[data] |
| explode | map[dom, <, codom] -> seq[pair[dom, codom]] : [1], [2] |
| explode | string -> seq[char] |
| explodeCt | bag[data, <] -> seq[pair[data, nat]] |
| exportSelection | config |
| expose | event |
| expose? | event -> bool |
| extDefine | callback ** (seq[string] -> com[void]) -> com[void] |
| extDefine | callback ** com[void] -> com[void] |
| extend | array ** nat ** (nat -> data) -> array |
| extend | array ** nat ** data -> array |
| extend | dArray ** nat ** (nat -> data) -> dArray |
| extend | dArray ** nat ** data -> dArray |
| extend | map ** seq[dom] ** seq[codom] -> map : [1], [2], [3] |
| extend | natMap ** seq[nat] ** seq[codom] -> natMap |
| extend | rel ** seq[dom] ** seq[codom] ** (dom ** codom -> data) -> rel |
| extend | rel ** seq[dom] ** seq[codom] ** seq[data] -> rel |
| extent | real -> config |
| external | manager |
| external? | manager -> bool |
| extractMin | heap -> data ** heap |