Types

Cairo provides several mechanisms to change or define the type of primitive and user defined types. The following sections cover:

• Specifying the desired type of literals
• Using type inference
• Aliasing types