| channel | close | channel -> com[void] |
| channel | incoming? | channel -> com[bool] |
| channel | read | channel -> com[inData] |
| channel | read? | channel -> com[option[inData]] |
| channel | write | channel ** outData -> com[void] |
| channel[inData, outData] | monitor | channel[inData, outData] ** env ** (env -> com[env]) ** (env -> com[env]) -> env |
| char | ! | (char -> bool) -> parser[char] |
| char | ! | char -> parser[char] |
| char | % | char ** char ** char ** char ** char ** char ** char ** char -> string |
| char | % | char ** char ** char ** char ** char ** char ** char -> string |
| char | % | char ** char ** char ** char ** char ** char -> string |
| char | % | char ** char ** char ** char ** char -> string |
| char | % | char ** char ** char ** char -> string |
| char | % | char ** char ** char -> string |
| char | % | char ** char -> string |
| char | % | char -> denotation |
| char | % | char -> string |
| char | * | (char -> bool) -> parser[denotation] |
| char | * | (char -> bool) -> parser[string] |
| char | * | (char -> char) ** string -> string |
| char | * | (char -> to) ** string -> seq[to] |
| char | + | (char -> bool) -> parser[denotation] |
| char | + | (char -> bool) -> parser[string] |
| char | +% | string ** char -> string |
| char | +%+ | char -> denotation ** denotation -> denotation |
| char | +%+ | char -> string ** string -> string |
| char | +/+ | char -> denotation ** denotation -> denotation |
| char | +/+ | char -> string ** string -> string |
| char | - | char ** char -> char -> bool |
| char | / | (char ** char -> char) ** string -> char |
| char | / | (char ** to -> to) ** to ** string -> to |
| char | / | (char ** to -> to) ** to -> string -> to |
| char | :: | char ** string -> string |
| char | := | denotation ** nat ** char -> denotation |
| char | := | string ** nat ** char -> string |
| char | < | char ** char -> bool |
| char | <= | char ** char -> bool |
| char | = | char ** char -> bool |
| char | > | char ** char -> bool |
| char | >= | char ** char -> bool |
| char | \ | (char ** char -> char) ** string -> char |
| char | \ | (char ** to -> to) ** to ** string -> to |
| char | \ | (char ** to -> to) ** to -> string -> to |
| char | ` | char -> denotation |
| char | asDigitNat | char -> nat |
| char | asNat | char -> nat |
| char | box | char ** char ** char -> char ** char -> char ** char ** char -> denotation -> denotation |
| char | center | char ** denotation -> denotation |
| char | char | char -> doc |
| char | char | char -> union |
| char | components | (char ** char -> bool) -> string -> seq[string] |
| char | cons | char ** string -> string |
| char | control? | char -> bool : [1], [2], [3] |
| char | digit? | char -> bool : [1], [2], [3] |
| char | drop | (char -> bool) ** string -> string |
| char | exist? | (char -> bool) ** string -> bool |
| char | find? | (char -> bool) ** string -> option[char] |
| char | forall? | (char -> bool) ** string -> bool |
| char | init | nat ** (nat -> char) -> denotation |
| char | init | nat ** (nat -> char) -> string |
| char | init | nat ** char -> denotation |
| char | init | nat ** char -> string |
| char | iter | char ** (char -> char) ** (char -> bool) -> string |
| char | keyInfo | event ** point ** denotation ** nat ** char -> eventInfo |
| char | letgit? | char -> bool : [1], [2], [3] |
| char | letter? | char -> bool : [1], [2], [3] |
| char | litChar | char -> () -> parser[void, char, position, error] |
| char | lower | char -> char : [1], [2], [3] |
| char | lower? | char -> bool : [1], [2], [3] |
| char | notUsed? | char -> bool |
| char | ord | char -> nat |
| char | partition | (char -> bool) ** string -> string ** string |
| char | pos | (char -> bool) ** string -> option[nat] |
| char | pred | char -> char |
| char | printable? | char -> bool : [1], [2], [3] |
| char | punctuation? | char -> bool : [1], [2], [3] |
| char | read | file ** (char -> bool) -> com[string] |
| char | read | input ** (char -> bool) -> com[string] |
| char | space? | char -> bool : [1], [2], [3] |
| char | split | (char -> bool) ** string -> seq[string] |
| char | split | (char -> bool) ** string -> string ** string |
| char | succ | char -> char |
| char | take | (char -> bool) ** string -> string |
| char | u | char ** seq[union] -> seq[union] |
| char | u | char -> seq[union] |
| char | unget | char -> parser[void] |
| char | unread | file ** char -> com[void] |
| char | upd | nat ** (char -> char) ** string -> string |
| char | upd | nat ** char ** denotation -> denotation |
| char | upd | nat ** char ** string -> string |
| char | upper | char -> char : [1], [2], [3] |
| char | upper? | char -> bool : [1], [2], [3] |
| char | upto | (char -> bool) -> parser[denotation] |
| char | upto | (char -> bool) -> parser[string] |
| char | upto | char -> parser[denotation] |
| char | upto | char -> parser[string] |
| char | whitespace? | char -> bool : [1], [2], [3] |
| char | write | char -> com[void] |
| char | write | file ** char -> com[void] |
| char | write | output ** char -> com[void] |
| char | writeLine | char -> com[void] |
| char | | | (char -> bool) ** string -> string |
| char | |= | char ** char -> bool |
| childstat | ` | childstat -> denotation |
| childstat | exited? | childstat -> bool |
| childstat | signal | childstat -> signal |
| childstat | signalled? | childstat -> bool |
| childstat | signalledUnknown? | childstat -> bool |
| childstat | status | childstat -> procstat |
| childstat | stopped? | childstat -> bool |
| childstat | stoppedUnknown? | childstat -> bool |