For the complete documentation index, see llms.txt.

aztec-nr - std::meta::typ

Module typ

Contains methods on the built-in Type type used for representing a type in the source program.

Structs

ArrayType
An array type decomposed by Type::as_array into its element and length components.
DataType
A struct or enum type decomposed by Type::as_data_type into its TypeDefinition and its concrete generic arguments.
IntegerType
An integer type decomposed by Type::as_integer into its signedness and bit width.

Functions

fresh_type_variable
Creates and returns an unbound type variable. This is a special kind of type internal to type checking which will type check with any other type. When it is type checked against another type it will also be set to that type. For example, if a is a type variable and we have the type equality (a, i32) = (u8, i32), the compiler will set a equal to u8.