search | textEditor ** denotation ** index ** seq[searchOpt] -> com[option[index]] |
sec | time -> nat |
second | sighandler -> sighandler |
section | com[void] ** com[void] ** com[data] -> com[data] |
see | textEditor ** index -> com[void] |
seed | real -> com[void] |
seed? | com[real] |
seek | file ** int ** seekMode -> com[void] |
select | selector ** (data -> bool) ** (data -> data) ** (data -> data) -> config |
select | selector ** (data -> bool) ** data -> config |
selectBackground | color -> config |
selectBorderWidth | real -> config |
selectColor | color -> config |
selectForeground | color -> config |
selectImage | image -> config |
selectIndicator | bool -> config |
selection | tag |
selector | color -> config |
selector | data -> com[selector] |
self | com[agent] |
self | process |
self? | process -> bool |
semaphor | com[semaphor] |
separator | items |
seqEntry | com[seqEntry] |
seqEntry | config -> com[seqEntry] |
seqEntry | nat ** nat -> com[seqEntry] |
seqEntry | seq[data] ** config -> com[seqEntry] |
seqEntry | seq[data] ** nat ** nat -> com[seqEntry] |
seqEntry | seq[data] -> com[seqEntry] |
server | role |
server? | role -> bool |
set | aEntry ** data -> com[void] : [1], [2] |
set | canvasEditor ** tag ** config -> com[void] |
set | image ** iconfig -> com[void] |
set | mapEntry ** map[data1, <, data2] -> com[void] : [1], [2] |
set | regulator ** config -> com[void] |
set | selector ** data -> com[void] |
set | seqEntry ** seq[data] -> com[void] : [1], [2] |
set | setEntry ** set[data, <] -> com[void] : [1], [2] |
set | textEditor ** tag ** config -> com[void] |
set | window ** wconfig -> com[void] |
setArgs | seq[denotation] -> com[void] |
setDefault | defaultPrio ** denotation ** denotation -> com[void] |
setEntry | com[setEntry] |
setEntry | config -> com[setEntry] |
setEntry | nat ** nat -> com[setEntry] |
setEntry | set[data, <] ** config -> com[setEntry] |
setEntry | set[data, <] ** nat ** nat -> com[setEntry] |
setEntry | set[data, <] -> com[setEntry] |
setEnv | denotation ** denotation -> com[void] |
setGId | groupid -> com[void] |
setGIdOnExec | permission |
setGIdOnExec? | permission -> bool |
setGrid | config |
setPGrp | com[void] |
setPGrp | process ** process -> com[void] |
setSId | com[process] |
setUId | userid -> com[void] |
setUIdOnExec | permission |
setUIdOnExec? | permission -> bool |
setView | scroller ** scrollView -> com[void] |
setWindow | scroller ** scrollWindow -> com[void] |