ulam primitive types, available in all bit widths from k = 1 to the default of 32, except that Bool defaults to 1 bit, and rounds down to odd widths to avoid ties.
| ulam type . | Interpretation . | Operators . |
|---|---|---|
| Unary(k) | Base 1 (population count) | − + ∗ / == != < > <= >= |
| Unsigned(k) | Base 2 | − + ∗ / == != < > <= >= |
| Int(k) | Two's complement | − + ∗ / == != < > <= >= |
| Bool(k) | Boolean (unary majority) | ! == != && || |
| Bits(k) | Uninterpreted bit values | == != << >> & | ˆ |
| ulam type . | Interpretation . | Operators . |
|---|---|---|
| Unary(k) | Base 1 (population count) | − + ∗ / == != < > <= >= |
| Unsigned(k) | Base 2 | − + ∗ / == != < > <= >= |
| Int(k) | Two's complement | − + ∗ / == != < > <= >= |
| Bool(k) | Boolean (unary majority) | ! == != && || |
| Bits(k) | Uninterpreted bit values | == != << >> & | ˆ |