# Cryptol 2 Language Primitives

Cryptol 2 has a number of built-in primitive functions. Herein we summaries them.

## Arithmetic

Note that because there is no instances for Arith Bit the top two instances do not actually overlap.

A corner case: unlike the old system, we’d also have to define negate at type 0. This makes sense, there is only one element of type [0], so it is naturally its own inverse, thus negate should behave as the identity function.

New types:

## Closing Remarks

Remark: If you have ever used Cryptol 1 you will notice there are some differences in the type-signatures.
May 4, 2014