nat | ! | denotation -> nat |
nat | # | array -> nat |
nat | # | bag -> nat |
nat | # | bstree -> nat |
nat | # | dArray -> nat |
nat | # | denotation -> nat |
nat | # | heap -> nat |
nat | # | map -> nat : [1], [2], [3] |
nat | # | nat |
nat | # | natMap -> nat |
nat | # | rel -> nat |
nat | # | seq -> nat |
nat | # | set -> nat : [1], [2], [3] |
nat | # | string -> nat |
nat | # | tree -> nat |
nat | % | nat ** nat -> nat |
nat | * | nat ** nat -> nat |
nat | + | nat ** nat -> nat |
nat | - | nat ** nat -> nat |
nat | .. | nat ** nat -> (nat -> char) -> string |
nat | .. | nat ** nat -> (nat -> codom) -> natMap |
nat | .. | nat ** nat -> (nat -> data) -> bag |
nat | .. | nat ** nat -> (nat -> data) -> seq |
nat | .. | nat ** nat -> (nat -> data) -> set : [1], [2] |
nat | .. | nat ** nat -> (nat -> dom) ** (dom -> codom) -> map : [1], [2], [3] |
nat | .. | nat ** nat -> (nat -> nat) -> set |
nat | .. | nat -> (nat -> data) -> iseq |
nat | / | (nat ** nat -> nat) ** set -> nat |
nat | / | nat ** nat -> nat |
nat | 0 | nat |
nat | 1000000 | nat |
nat | 100000 | nat |
nat | 10000 | nat |
nat | 1000 | nat |
nat | 100 | nat |
nat | 1024 | nat |
nat | 10 | nat |
nat | 11 | nat |
nat | 128 | nat |
nat | 12 | nat |
nat | 13 | nat |
nat | 14 | nat |
nat | 15 | nat |
nat | 16 | nat |
nat | 17 | nat |
nat | 18 | nat |
nat | 19 | nat |
nat | 1 | nat |
nat | 20 | nat |
nat | 21 | nat |
nat | 22 | nat |
nat | 23 | nat |
nat | 24 | nat |
nat | 256 | nat |
nat | 25 | nat |
nat | 26 | nat |
nat | 27 | nat |
nat | 28 | nat |
nat | 29 | nat |
nat | 2 | nat |
nat | 30 | nat |
nat | 31 | nat |
nat | 32 | nat |
nat | 3 | nat |
nat | 4 | nat |
nat | 512 | nat |
nat | 5 | nat |
nat | 64 | nat |
nat | 6 | nat |
nat | 7 | nat |
nat | 8 | nat |
nat | 9 | nat |
nat | ^ | nat ** nat -> nat |
nat | ` | denotation ** denotation ** denotation -> nat ** (data -> denotation) -> iseq[data] -> denotation |
nat | ` | denotation ** denotation ** denotation -> nat ** (data -> string) -> iseq[data] -> string |
nat | ` | denotation -> denotation ** denotation ** denotation -> (nat -> denotation) ** (codom -> denotation) -> natMap[codom] -> denotation |
nat | ` | denotation -> denotation ** denotation ** denotation -> (nat -> string) ** (codom -> string) -> natMap[codom] -> string |
nat | arb | set -> nat |
nat | asDigitNat | char -> nat |
nat | asNat | char -> nat |
nat | asNat | int -> nat |
nat | asNat | real -> nat |
nat | button | eventInfo -> nat |
nat | col | position -> nat |
nat | column | index -> nat |
nat | convNat | string -> nat |
nat | ct | data ** bag -> nat |
nat | day | time -> nat |
nat | defaultDim | nat : [1], [2] |
nat | depth | bstree -> nat |
nat | depth | heap -> nat |
nat | depth | tree -> nat |
nat | div | nat ** nat -> nat |
nat | double | nat -> nat |
nat | half | nat -> nat |
nat | hour | time -> nat |
nat | init | nat -> nat ** (nat -> data) -> dArray |
nat | init | nat -> nat ** data -> dArray |
nat | inj | data -> nat |
nat | item | modifier -> nat |
nat | iter | nat ** (nat -> nat) ** (nat -> bool) -> (nat -> codom) -> natMap |
nat | keycode | eventInfo -> nat |
nat | left | nat -> nat |
nat | line | index -> nat |
nat | max | nat |
nat | max | nat ** nat -> nat |
nat | min | nat |
nat | min | nat ** nat -> nat |
nat | min | time -> nat |
nat | mod | nat ** nat -> nat |
nat | mon | time -> nat |
nat | nat | union -> nat |
nat | new | dArray -> nat |
nat | new | natMap -> nat |
nat | nlinks | filestat -> nat |
nat | no | event -> nat |
nat | no | modifier -> nat |
nat | ord | char -> nat |
nat | pos | (data -> bool) ** iseq[data] -> nat |
nat | pow | nat ** nat -> nat |
nat | pred | nat -> nat |
nat | right | nat -> nat |
nat | root | nat |
nat | row | position -> nat |
nat | sec | time -> nat |
nat | size | filestat -> nat |
nat | start | string -> nat |
nat | step | bstree[data, <] ** nat -> bstree[data, <] ** nat |
nat | step | heap[data, <] ** nat -> heap[data, <] ** nat |
nat | step | tree[data] ** nat -> tree[data] ** nat |
nat | succ | nat -> nat |
nat | trunc | real -> nat |
nat | unleft | nat -> nat |
nat | unright | nat -> nat |
nat | up | nat -> nat |
nat | width | bstree -> nat |
nat | width | heap -> nat |
nat | width | tree -> nat |
nat | yday | time -> nat |
nat | year | time -> nat |
natMap | .. | nat ** nat -> (nat -> codom) -> natMap |
natMap | <+ | natMap ** natMap -> natMap |
natMap | <- | natMap ** set[nat, <] -> natMap |
natMap | def | nat ** codom ** natMap -> natMap |
natMap | extend | natMap ** seq[nat] ** seq[codom] -> natMap |
natMap | init | set[nat, <] ** (nat -> codom) -> natMap |
natMap | iter | nat ** (nat -> nat) ** (nat -> bool) -> (nat -> codom) -> natMap |
natMap | undef | nat ** natMap -> natMap |
natMap | upd | nat ** (codom -> codom) ** natMap -> natMap |
natMap | {} | natMap |
natMap[codom] | ` | (nat -> denotation) ** (codom -> denotation) -> natMap[codom] -> denotation |
natMap[codom] | ` | (nat -> string) ** (codom -> string) -> natMap[codom] -> string |
natMap[codom] | ` | denotation -> denotation ** denotation ** denotation -> (nat -> denotation) ** (codom -> denotation) -> natMap[codom] -> denotation |
natMap[codom] | ` | denotation -> denotation ** denotation ** denotation -> (nat -> string) ** (codom -> string) -> natMap[codom] -> string |
natMap[codom] | abs | array[map[nat, <, codom]] -> natMap[codom] |
natMap[codom] | asNatMap | seq[pair[nat, codom]] -> natMap[codom] |
natMap[codom] | partition | (nat ** codom -> bool) ** natMap[codom] -> natMap[codom] ** natMap[codom] |
natMap[codom] | | | (nat ** codom -> bool) ** natMap[codom] -> natMap[codom] |
natMap[codomTo] | * | (codomFrom -> codomTo) ** natMap[codomFrom] -> natMap[codomTo] |