| Symbol | Specification | Kind | Type |
|---|---|---|---|
| # . | bitlista | f | bitlist → nat |
| #oc | bitlista | f | bool × bitlist → nat |
| . ' | bitlista | f | bool → bitlist |
| . + . | nat-basic2 | f | nat × nat → nat |
| . + . | bitlista | f | bool × bitlist → bitlist |
| . + . | bitlista | f | bool × bool → bitlist |
| . + . | bitlista | f | bitlist × bitlist → bitlist |
| . + . | bitlista | f | bitlist × bool → bitlist |
| . ++ . | bitlista | f | bitlist × bool → bitlist |
| . +1 | nat-basic1 | f | nat → nat |
| . - . | nat | f | nat × nat → nat |
| . -1 | nat-basic1 | f | nat → nat |
| . -1l . | bitlista | f | bitlist × nat → bitlist |
| . -1l . | bitlista | f | bitlist × bool → bitlist |
| . -l . | bitlista | f | bitlist × bool → bitlist |
| . .butlast | bitlista | f | bitlist → bitlist |
| . .first | bitlista | p | bitlist |
| . .last | bitlista | p | bitlist |
| . .rest | bitlista | f | bitlist → bitlist |
| . < . | bitlista | p | bitlist × bitlist |
| . < . | nat-basic1 | p | nat × nat |
| . > . | nat | p | nat × nat |
| . [ . ] | bitlista | f | bitlist × nat × bool → bitlist |
| . [ . ] | bitlista | p | bitlist × nat |
| . \ . | bitlista | f | bitlist × bitlist → bitlist |
| . ∈ . | bitlista | p | bool × bitlist |
| . ∪ . | bitlista | f | bitlist × bitlist → bitlist |
| . ≤ . | nat | p | nat × nat |
| . ≥ . | nat | p | nat × nat |
| . ⊆ . | bitlista | p | bitlist × bitlist |
| . ⊆m . | bitlista | p | bitlist × bitlist |
| . ⊑ . | bitlista | p | bitlist × bitlist |
| . ⊒ . | bitlista | p | bitlist × bitlist |
| [] | bitlista | c | bitlist |
| bitlist | bitlista | s | |
| bits | bitlista | v | bitlist |
| bits0 | bitlista | v | bitlist |
| bits1 | bitlista | v | bitlist |
| bits10 | bitlista | v | bitlist |
| bits2 | bitlista | v | bitlist |
| bits3 | bitlista | v | bitlist |
| bits4 | bitlista | v | bitlist |
| bits5 | bitlista | v | bitlist |
| bits6 | bitlista | v | bitlist |
| bits7 | bitlista | v | bitlist |
| bits8 | bitlista | v | bitlist |
| bits9 | bitlista | v | bitlist |
| bool | bool | s | |
| boolvar | bool | v | bool |
| boolvar0 | bool | v | bool |
| boolvar1 | bitlista | v | bool |
| boolvar2 | bitlista | v | bool |
| butlastn | bitlista | f | nat × bitlist → bitlist |
| disj | bitlista | p | bitlist × bitlist |
| dups | bitlista | p | bitlist |
| fillfirst | bitlista | f | nat × bool × bitlist → bitlist |
| filter | bitlista | f | bitlist × bitlist → bitlist |
| firstn | bitlista | f | nat × bitlist → bitlist |
| frome | bitlista | f | bitlist × bool → bitlist |
| lastn | bitlista | f | nat × bitlist → bitlist |
| m | nat-basic1 | v | nat |
| mklist | bitlista | f | bool × nat → bitlist |
| n | nat-basic1 | v | nat |
| n0 | nat-basic1 | v | nat |
| n1 | nat-basic1 | v | nat |
| nat | nat-basic1 | s | |
| perm | bitlista | p | bitlist × bitlist |
| pos | bitlista | f | bool × bitlist → nat |
| restn | bitlista | f | nat × bitlist → bitlist |
| rev | bitlista | f | bitlist → bitlist |
| rmdup | bitlista | f | bitlist → bitlist |
| sublist | bitlista | f | nat × nat × bitlist → bitlist |