| deadlock | ans[data] |
| deadlock? | ans[data] -> bool |
| dec | nat -> fmt |
| def | dom ** codom ** map -> map : [1], [2], [3] |
| def | nat ** codom ** natMap -> natMap |
| def? | dom ** map -> bool : [1], [2], [3] |
| def? | nat ** dArray -> bool |
| def? | nat ** natMap -> bool |
| def? | rel ** dom -> bool |
| def_c? | rel ** codom -> bool |
| default | sigaction |
| default? | sigaction -> bool |
| defaultConfig | config : [1], [2], [3], [4], [5], [6], [7], [8] |
| defaultDim | nat : [1], [2] |
| defaultDim | pair[nat, nat] : [1], [2], [3], [4], [5], [6] |
| defaultFocus | window -> com[void] |
| defaultPath | denotation ** denotation -> denotation |
| define | (seq[string] -> com[string]) -> com[callback] |
| define | callback ** (seq[string] -> com[string]) -> com[void] |
| define | callback ** com[string] -> com[void] |
| define | callback ** com[void] -> com[void] |
| define | com[string] -> com[callback] |
| define | com[void] -> com[callback] |
| define | interpreter ** denotation ** (interpreter ** seq[string] -> ans[string]) -> com[void] |
| define | interpreter ** denotation ** (interpreter ** seq[string] -> com[string]) -> com[void] |
| deg | real -> real |
| degreeSign | char : [1], [2] |
| delete | array ** nat ** nat -> array |
| delete | bstree[data, <] ** nat -> bstree[data, <] |
| delete | canvasEditor ** tag -> com[void] |
| delete | denotation ** nat ** nat -> denotation |
| delete | heap[data, <] ** nat -> heap[data, <] |
| delete | image -> com[void] |
| delete | interpreter -> com[void] |
| delete | iseq[data] ** nat ** nat -> iseq[data] |
| delete | seq[data] ** nat ** nat -> seq[data] |
| delete | stateId -> com[void] |
| delete | string ** nat ** nat -> string |
| delete | string -> com[void] |
| delete | textEditor ** index -> com[void] |
| delete | textEditor ** mark -> com[void] |
| delete | textEditor ** range -> com[void] |
| delete | textEditor ** seq[range] -> com[void] |
| delete | textEditor -> com[void] |
| delete | tree[data] ** nat -> tree[data] |
| delete | window -> com[void] |
| delta | char |
| Delta | char |
| denotation | denotation -> union |
| denotation | union -> denotation |
| denotation? | union -> bool |
| depth | bstree -> nat |
| depth | heap -> nat |
| depth | metrics -> real |
| depth | tree -> nat |
| destroy | event |
| destroy? | event -> bool |
| device | filestat -> device |
| deviceBusy | ans[data] |
| deviceBusy? | ans[data] -> bool |