Table 1.

type
. ulam | 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 | == != << >> & | ˆ |

type
. ulam | 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 | == != << >> & | ˆ |

This site uses cookies. By continuing to use our website, you are agreeing to our privacy policy.