| read | channel -> com[inData] |
| read | file ** (char -> bool) -> com[string] |
| read | file ** denotation -> com[data] |
| read | file ** nat -> com[string] |
| read | file -> com[char] |
| read | input ** (char -> bool) -> com[string] |
| read | input ** denotation -> com[data] |
| read | input ** nat -> com[string] |
| read | input -> com[char] |
| read? | channel -> com[option[inData]] |
| readDir | denotation -> com[seq[denotation]] |
| readInterrupts | com[nat] |
| readLine | denotation ** (denotation ** denotation ** nat ** nat -> com[seq[denotation]]) -> com[denotation] |
| readLine | denotation -> com[denotation] |
| readLine | file -> com[string] |
| readLine | input -> com[string] |
| readLines | file -> com[seq[string]] |
| readLines | input -> com[seq[string]] |
| readLink | denotation -> com[denotation] |
| readOnlyFileSys | ans[data] |
| readOnlyFileSys? | ans[data] -> bool |
| real | real -> union |
| real | union -> real |
| real? | union -> bool |
| rectangle | point ** point -> drawing |
| red | color |
| reduce | (from ** to -> to) ** to ** seq[from] -> to |
| reduce | (from ** to -> to) ** to -> seq[from] -> to |
| refClosure | rel[dom, <, dom, <, data] -> rel[dom, <, dom, <, data] |
| reflect | heap -> heap |
| reflect | tree -> tree |
| reflexive? | rel[dom, <, dom, <, data] -> bool |
| refTransClosure | rel[dom, <, dom, <, data] -> rel[dom, <, dom, <, data] |
| regexp | searchOpt |
| regexp? | searchOpt -> bool |
| register | canvasEditor ** window ** widget -> com[void] |
| register | dist -> com[distOut] |
| register | textEditor ** window ** widget -> com[void] |
| registerDispose | window ** com[void] -> com[void] |
| registerDispose | window ** widget ** com[void] -> com[void] |
| registeredTradeMarkSign | char |
| regular | filetype |
| regular? | filetype -> bool |
| regulate | regulator -> config |
| regulator1 | mapEntry -> regulator : [1], [2] |
| regulator2 | mapEntry -> regulator : [1], [2] |
| regulator | aEntry -> regulator : [1], [2] |
| regulator | com[regulator] |
| regulator | seqEntry -> regulator : [1], [2] |
| regulator | setEntry -> regulator : [1], [2] |
| reject | (() -> parser[a, token, state, error]) -> () -> parser[void, token, state, error] |
| rel | data1 ** data1 -> bool |
| rel | data2 ** data2 -> bool |
| release | semaphor -> com[void] |
| release | window -> com[void] |
| relief | denotation -> relief |
| relief | relief -> config |
| relief? | relief -> bool |
| relPosition | point -> config |
| relPosition | real ** real -> config |
| rename | denotation ** denotation -> com[void] |
| rename | string ** string -> com[void] |
| reopen | denotation ** denotation ** file -> com[void] |
| rep | bag -> seq[pair[data, nat]] |
| rep | bstree -> tree[pair[data, nat]] |
| rep | dArray -> array[data] |
| rep | input -> file |
| rep | map -> set[pair[dom, codom], less] : [1], [2] |
| rep | map[dom, <, codom] -> set[pair[dom, codom], less] |
| rep | natMap[codom] -> array[map[nat, <, codom]] |
| rep | output -> file |
| rep | rel[dom, <, codom, <, data] -> map[dom, <, map[codom, <, data]] |
| rep | set -> bstree[data, <] |
| rep | set -> seq[data] |
| reparent | event |
| reparent? | event -> bool |
| repeat | com[void] -> com[void] |
| repeat | denotation -> denotation |
| repeat | nat -> denotation -> denotation |
| repeat | seq[data] -> iseq |
| repeatAsk | denotation ** com[void] -> com[void] |
| repl | bstree[data, <] ** nat ** (bstree[data, <] -> bstree[data, <]) -> bstree[data, <] |
| repl | bstree[data, <] ** nat ** bstree[data, <] -> bstree[data, <] |
| repl | heap[data, <] ** nat ** (heap[data, <] -> heap[data, <]) -> heap[data, <] |
| repl | heap[data, <] ** nat ** heap[data, <] -> heap[data, <] |
| repl | iseq[data] ** nat ** seq[data] -> iseq[data] |
| repl | seq[data] ** nat ** seq[data] -> seq[data] |
| repl | string ** nat ** string -> string |
| repl | tree[data] ** nat ** (tree[data] -> tree[data]) -> tree[data] |
| repl | tree[data] ** nat ** tree[data] -> tree[data] |
| reserve | semaphor -> com[void] |
| rest | string -> string |
| retain | com[void] : [1], [2] |
| return | char |
| revert | seq -> seq |
| revert | string -> string |
| rewind | file -> com[void] |