| Symbol | Specification | Kind | Type |
|---|---|---|---|
| # . | classnames | f | classnameset → nat |
| # . | string-less | f | string → nat |
| # . | classnames | f | classnames → nat |
| #oc | classnames | f | classname × classnames → nat |
| . ' | string-append | f | char → string |
| . ' | classnames | f | classname → classnames |
| . + . | string-data | f | char × string → string |
| . + . | string-append | f | string × string → string |
| . + . | nat-basic2 | f | nat × nat → nat |
| . + . | classnames | f | classname × classname → classnames |
| . + . | classnames | f | classname × classnames → classnames |
| . + . | classnames | f | classnames × classname → classnames |
| . + . | classnames | f | classnames × classnames → classnames |
| . ++ . | classnames | f | classnameset × classname → classnameset |
| . ++ . | classnames | f | classnames × classname → classnames |
| . +1 | nat-basic1 | f | nat → nat |
| . - . | nat | f | nat × nat → nat |
| . -- . | classnames | f | classnameset × classname → classnameset |
| . -1 | nat-basic1 | f | nat → nat |
| . -1l . | classnames | f | classnames × nat → classnames |
| . -1l . | classnames | f | classnames × classname → classnames |
| . -l . | classnames | f | classnames × classname → classnames |
| . .butlast | classnames | f | classnames → classnames |
| . .butmax | classnames | f | classnameset → classnameset |
| . .butmin | classnames | f | classnameset → classnameset |
| . .char1 | string-data | f | string → char |
| . .class | classname | f | string → classname |
| . .class | classname | f | classname → string |
| . .first | classnames | f | classnames → classname |
| . .last | classnames | f | classnames → classname |
| . .max | classnames | f | classnameset → classname |
| . .min | classnames | f | classnameset → classname |
| . .rest | classnames | f | classnames → classnames |
| . .rstring | string-data | f | string → string |
| . < . | classnames | p | classnameset × classname |
| . < . | classnames | p | classname × classnameset |
| . < . | classnames | p | classnames × classnames |
| . < . | nat-basic1 | p | nat × nat |
| . < . | string-less | p | string × string |
| . < . | string-less | p | char × char |
| . <_1 . | classnamefuns | p | classname × classname |
| . > . | nat | p | nat × nat |
| . [ . ] | classnames | f | classnames × nat → classname |
| . [ . ] | classnames | f | classnames × nat × classname → classnames |
| . \ . | classnames | f | classnames × classnames → classnames |
| . \ . | classnames | f | classnameset × classnameset → classnameset |
| . ≤ . | classnamefuns | p | classname × classname |
| . ≤ . | nat | p | nat × nat |
| . ≥ . | nat | p | nat × nat |
| . ∈ . | classnames | p | classname × classnameset |
| . ∈ . | classnames | p | classname × classnames |
| . ∪ . | classnames | f | classnames × classnames → classnames |
| . ∪ . | classnames | f | classnameset × classnameset → classnameset |
| . ∩ . | classnames | f | classnameset × classnameset → classnameset |
| . ⊆ . | classnames | p | classnameset × classnameset |
| . ⊆ . | classnames | p | classnames × classnames |
| . ⊆m . | classnames | p | classnames × classnames |
| . ⊑ . | classnames | p | classnames × classnames |
| . ⊒ . | classnames | p | classnames × classnames |
| . l< . | classnamefuns | p | classname × classname |
| [] | classnames | c | classnames |
| { . } | classnames | f | classname → classnameset |
| ∅ | classnames | c | classnameset |
| butlastn | classnames | f | nat × classnames → classnames |
| char | char | s | |
| char | char | v | char |
| char0 | char | v | char |
| char1 | char | v | char |
| char2 | char | v | char |
| char3 | string-less | v | char |
| claset | classnames | v | classnameset |
| claset0 | classnames | v | classnameset |
| claset1 | classnames | v | classnameset |
| claset2 | classnames | v | classnameset |
| class | classname | v | classname |
| class0 | classname | v | classname |
| class1 | classname | v | classname |
| class2 | classname | v | classname |
| class3 | classname | v | classname |
| classes | classnames | v | classnames |
| classes0 | classnames | v | classnames |
| classes1 | classnames | v | classnames |
| classes10 | classnames | v | classnames |
| classes2 | classnames | v | classnames |
| classes3 | classnames | v | classnames |
| classes4 | classnames | v | classnames |
| classes5 | classnames | v | classnames |
| classes6 | classnames | v | classnames |
| classes7 | classnames | v | classnames |
| classes8 | classnames | v | classnames |
| classes9 | classnames | v | classnames |
| classname | classname | s | |
| classnames | classnames | s | |
| classnameset | classnames | s | |
| disj | classnames | p | classnames × classnames |
| dups | classnames | p | classnames |
| fillfirst | classnames | f | nat × classname × classnames → classnames |
| filter | classnames | f | classnames × classnames → classnames |
| firstn | classnames | f | nat × classnames → classnames |
| frome | classnames | f | classnames × classname → classnames |
| ins≤ | classnames | f | classname × classnames → classnames |
| is_predefined_class | predefined | p | classname |
| lastn | classnames | f | nat × classnames → classnames |
| list2set | classnames | f | classnames → classnameset |
| m | nat-basic2 | v | nat |
| merge | classnames | f | classnames × classnames → classnames |
| mklist | classnames | f | classname × nat → classnames |
| n | nat-basic1 | v | nat |
| n0 | nat-basic1 | v | nat |
| n1 | nat-basic1 | v | nat |
| nat | nat-basic1 | s | |
| ordered< | classnames | p | classnames |
| ordered≤ | classnames | p | classnames |
| perm | classnames | p | classnames × classnames |
| pos | string-less | f | char × string → nat |
| pos | classnames | f | classname × classnames → nat |
| predef_superClass | predefined | f | classname → classname |
| predef_supers | predefined | f | classname → classnames |
| predefined_classes | predefined | c | classnames |
| restn | classnames | f | nat × classnames → classnames |
| rev | classnames | f | classnames → classnames |
| rmdup | classnames | f | classnames → classnames |
| set2list | classnames | f | classnameset → classnames |
| sortedchars | string-less | c | string |
| str | string-data | v | string |
| str0 | string-data | v | string |
| str1 | string-data | v | string |
| str2 | string-data | v | string |
| str3 | string-data | v | string |
| string | string-data | s | |
| stringvar | string-append | v | string |
| stringvar0 | string-append | v | string |
| sublist | classnames | f | nat × nat × classnames → classnames |