| real | & | script ** real -> script |
| real | * | real ** real -> real |
| real | + | real ** real -> real |
| real | + | script ** real -> script |
| real | - | real ** real -> real |
| real | - | real -> real |
| real | / | real ** real -> real |
| real | < | real ** real -> bool |
| real | <- | denotation ** real -> script : [1], [2] |
| real | <= | real ** real -> bool |
| real | = | real ** real -> bool |
| real | > | real ** real -> bool |
| real | >= | real ** real -> bool |
| real | @ | real ** real -> point |
| real | ^ | real ** real -> real |
| real | ` | real ** nat -> denotation |
| real | ` | real -> denotation |
| real | `` | real ** nat -> denotation |
| real | `` | real -> denotation |
| real | abs | real -> real |
| real | activeBorderWidth | real -> config |
| real | arccos | real -> real |
| real | arcsin | real -> real |
| real | arctan2 | real ** real -> real |
| real | arctan | real -> real |
| real | arrowShape | real ** real ** real -> config |
| real | asInt | real -> int |
| real | asNat | real -> nat |
| real | asPixel | real -> denotation |
| real | borderWidth | real -> config |
| real | bw | real -> config |
| real | ceil | real -> real |
| real | closeEnough | real -> config |
| real | closest | canvasEditor ** point ** real -> com[tag] |
| real | cos | real -> real |
| real | cosh | real -> real |
| real | cursorBorderWidth | real -> config |
| real | cursorWidth | real -> config |
| real | deg | real -> real |
| real | dimension | real -> config |
| real | elementBorderWidth | real -> config |
| real | exp | real -> real |
| real | extent | real -> config |
| real | floor | real -> real |
| real | gamma | real -> iconfig |
| real | height | real -> config |
| real | insertBorderWidth | real -> config |
| real | ipad | real ** real -> config |
| real | ipadX | real -> config |
| real | ipadY | real -> config |
| real | lineWidth | real -> config |
| real | ln | real -> real |
| real | log | real -> real |
| real | max | real ** real -> real |
| real | min | real ** real -> real |
| real | moveto | real -> scrollView |
| real | neg? | real -> bool |
| real | num | real -> doc |
| real | pad | real ** real -> config |
| real | padX | real -> config |
| real | padY | real -> config |
| real | pos? | real -> bool |
| real | position | real ** real -> config |
| real | pow | real ** real -> real |
| real | px | real -> real |
| real | rad | real -> real |
| real | real | real -> union |
| real | relPosition | real ** real -> config |
| real | rgb | real ** real ** real -> color |
| real | scale | canvasEditor ** tag ** point ** real ** real -> com[void] |
| real | seed | real -> com[void] |
| real | selectBorderWidth | real -> config |
| real | sign | real -> real |
| real | sin | real -> real |
| real | sinh | real -> real |
| real | size | real ** real -> config |
| real | slice | real ** real -> config |
| real | sqrt | real -> real |
| real | start | real -> config |
| real | tan | real -> real |
| real | tanh | real -> real |
| real | trunc | real -> nat |
| real | u | real ** seq[union] -> seq[union] |
| real | u | real -> seq[union] |
| real | width | real -> config |
| real | window | real ** real -> scrollWindow |
| real | wrap | wrapStyle ** real ** real ** real -> config |
| real | write | real -> com[void] |
| real | writeLine | real -> com[void] |
| real | x | real ** real -> size |
| real | xScrollIncrement | real -> config |
| real | yScrollIncrement | real -> config |
| real | zero? | real -> bool |
| real | |= | real ** real -> bool |
| regulator | get | regulator -> com[config] |
| regulator | regulate | regulator -> config |
| regulator | set | regulator ** config -> com[void] |
| regulator | sync | regulator ** version -> com[pair[config, version]] |
| rel | ! | rel ** dom ** codom -> data |
| rel | ! | rel ** dom -> set[codom, <] |
| rel | ! | rel ** set[dom, <] -> set[codom, <] |
| rel | !? | rel ** dom ** codom -> option[data] |
| rel | !_c | rel ** codom -> set[dom, <] |
| rel | !_c | rel ** set[codom, <] -> set[dom, <] |
| rel | # | rel -> nat |
| rel | * | rel ** rel -> rel |
| rel | + | rel ** rel -> rel |
| rel | - | rel ** rel -> rel |
| rel | < | rel ** rel -> bool |
| rel | <= | rel ** rel -> bool |
| rel | <? | rel -> bool |
| rel | <| | set[dom, <] ** rel -> rel |
| rel | <~| | set[dom, <] ** rel -> rel |
| rel | = | rel ** rel -> bool |
| rel | =? | rel -> bool |
| rel | >? | rel -> bool |
| rel | ` | rel -> denotation |
| rel | arb | rel -> dom ** codom |
| rel | arb | rel -> dom ** codom ** data |
| rel | bijective? | rel -> bool |
| rel | codom | rel -> set[codom, <] |
| rel | def? | rel ** dom -> bool |
| rel | def_c? | rel ** codom -> bool |
| rel | disjoint? | rel ** rel -> bool |
| rel | dom | rel -> set[dom, <] |
| rel | excl | dom ** codom ** rel -> rel |
| rel | exist? | (dom ** codom ** data -> bool) ** rel -> bool |
| rel | exist? | (dom ** codom -> bool) ** rel -> bool |
| rel | extend | rel ** seq[dom] ** seq[codom] ** (dom ** codom -> data) -> rel |
| rel | extend | rel ** seq[dom] ** seq[codom] ** seq[data] -> rel |
| rel | find? | (dom ** codom ** data -> bool) ** rel -> option[triple[dom, codom, data]] |
| rel | find? | (dom ** codom -> bool) ** rel -> option[pair[dom, codom]] |
| rel | forall? | (dom ** codom ** data -> bool) ** rel -> bool |
| rel | forall? | (dom ** codom -> bool) ** rel -> bool |
| rel | function? | rel -> bool |
| rel | in | dom ** codom ** rel -> bool |
| rel | incl | dom ** codom ** (dom ** codom -> data) ** rel -> rel |
| rel | incl | dom ** codom ** data ** rel -> rel |
| rel | max | rel -> dom ** codom |
| rel | min | rel -> dom ** codom |
| rel | {<} | rel ** rel -> bool |
| rel | {}? | rel -> bool |
| rel | |> | rel ** set[codom, <] -> rel |
| rel | |~> | rel ** set[codom, <] -> rel |
| rel[dom, <, codom, <, data] | / | (dom ** codom ** data ** to -> to) ** to ** rel[dom, <, codom, <, data] -> to |
| rel[dom, <, codom, <, data] | asSeq | rel[dom, <, codom, <, data] -> seq[triple[dom, codom, data]] |
| rel[dom, <, codom, <, data] | partition | (dom ** codom ** data -> bool) ** rel[dom, <, codom, <, data] -> rel[dom, <, codom, <, data] ** rel[dom, <, codom, <, data] |
| rel[dom, <, codom, <, data] | rep | rel[dom, <, codom, <, data] -> map[dom, <, map[codom, <, data]] |
| rel[dom, <, codom, <, data] | | | (dom ** codom ** data -> bool) ** rel[dom, <, codom, <, data] -> rel[dom, <, codom, <, data] |
| rel[dom, <, codom, <, data] | ~ | rel[dom, <, codom, <, data] -> rel[codom, <, dom, <, data] |
| rel[dom, <, dom, <, data] | * | rel[dom, <, dom, <, data] -> rel[dom, <, dom, <, data] |
| rel[dom, <, dom, <, data] | + | rel[dom, <, dom, <, data] -> rel[dom, <, dom, <, data] |
| rel[dom, <, dom, <, data] | ^ | rel[dom, <, dom, <, data] ** nat -> rel[dom, <, dom, <, data] |
| rel[dom, <, dom, <, data] | iter | rel[dom, <, dom, <, data] ** nat -> rel[dom, <, dom, <, data] |
| rel[dom, <, dom, <, data] | refClosure | rel[dom, <, dom, <, data] -> rel[dom, <, dom, <, data] |
| rel[dom, <, dom, <, data] | reflexive? | rel[dom, <, dom, <, data] -> bool |
| rel[dom, <, dom, <, data] | refTransClosure | rel[dom, <, dom, <, data] -> rel[dom, <, dom, <, data] |
| rel[dom, <, dom, <, data] | RSTClosure | rel[dom, <, dom, <, data] -> rel[dom, <, dom, <, data] |
| rel[dom, <, dom, <, data] | symClosure | rel[dom, <, dom, <, data] -> rel[dom, <, dom, <, data] |
| rel[dom, <, dom, <, data] | symmetric? | rel[dom, <, dom, <, data] -> bool |
| rel[dom, <, dom, <, data] | transClosure | rel[dom, <, dom, <, data] -> rel[dom, <, dom, <, data] |
| rel[dom, <, dom, <, data] | transitive? | rel[dom, <, dom, <, data] -> bool |
| rel[dom, <, mid, <, data1] | ; | rel[dom, <, mid, <, data1] ** rel[mid, <, codom, <, data2] -> rel[dom, <, codom, <, data3] |
| rel[dom, <, mid, <, data1] | o | rel[mid, <, codom, <, data2] ** rel[dom, <, mid, <, data1] -> rel[dom, <, codom, <, data3] |
| rel[domFrom, <, codomFrom, <, dataFrom] | * | (domFrom ** codomFrom ** dataFrom -> domTo ** codomTo ** dataTo) ** rel[domFrom, <, codomFrom, <, dataFrom] -> rel[domTo, <, codomTo, <, dataTo] |
| rel[domFrom, <, codomFrom, <, dataFrom] | * | (domFrom -> domTo) ** (codomFrom -> codomTo) ** (dataFrom -> dataTo) ** rel[domFrom, <, codomFrom, <, dataFrom] -> rel[domTo, <, codomTo, <, dataTo] |
| rel[mid, <, codom, <, data2] | ; | rel[dom, <, mid, <, data1] ** rel[mid, <, codom, <, data2] -> rel[dom, <, codom, <, data3] |
| rel[mid, <, codom, <, data2] | o | rel[mid, <, codom, <, data2] ** rel[dom, <, mid, <, data1] -> rel[dom, <, codom, <, data3] |
| relief | activeRelief | relief -> config |
| relief | name | relief -> denotation |
| relief | relief | relief -> config |
| relief | relief? | relief -> bool |
| res | * | (arg -> res) ** option[arg] -> option[res] |
| res | . | arg ** (arg -> res) -> res |
| res | ; | (arg -> inter) ** (inter -> res) -> arg -> res |
| res | ; | (arg1 ** arg2 ** arg3 ** arg4 -> inter) ** (inter -> res) -> arg1 ** arg2 ** arg3 ** arg4 -> res |
| res | ; | (arg1 ** arg2 ** arg3 -> inter) ** (inter -> res) -> arg1 ** arg2 ** arg3 -> res |
| res | ; | (arg1 ** arg2 -> inter) ** (inter -> res) -> arg1 ** arg2 -> res |
| res | const | res -> arg -> res |
| res | curry | (arg1 ** arg2 -> res) -> arg1 -> arg2 -> res |
| res | flip | (arg1 ** arg2 -> res) -> arg2 ** arg1 -> res |
| res | flip | (arg1 -> arg2 -> res) -> arg2 -> arg1 -> res |
| res | o | (inter -> res) ** (arg -> inter) -> arg -> res |
| res | o | (inter -> res) ** (arg1 ** arg2 ** arg3 ** arg4 -> inter) -> arg1 ** arg2 ** arg3 ** arg4 -> res |
| res | o | (inter -> res) ** (arg1 ** arg2 ** arg3 -> inter) -> arg1 ** arg2 ** arg3 -> res |
| res | o | (inter -> res) ** (arg1 ** arg2 -> inter) -> arg1 ** arg2 -> res |
| res | uncurry | (arg1 -> arg2 -> res) -> arg1 ** arg2 -> res |
| res1 | const | res1 ** res2 -> arg -> res1 ** res2 |
| res1 | | | (arg1 -> res1) ** (arg2 -> res2) -> arg1 ** arg2 -> res1 ** res2 |
| res2 | const | res1 ** res2 -> arg -> res1 ** res2 |
| res2 | | | (arg1 -> res1) ** (arg2 -> res2) -> arg1 ** arg2 -> res1 ** res2 |