> Aztec.nr API reference, v6.0.0 (mainnet and testnet). Index: https://docs.aztec.network/aztec-nr-api/v6.0.0/llms.txt

# Crate std

Module: `std`

## Modules

- [aes128](/aztec-nr-api/v6.0.0/std/aes128/index.md)
- [append](/aztec-nr-api/v6.0.0/std/append/index.md)
- [cmp](/aztec-nr-api/v6.0.0/std/cmp/index.md)
- [collections](/aztec-nr-api/v6.0.0/std/collections/index.md)
- [compat](/aztec-nr-api/v6.0.0/std/compat/index.md)
- [convert](/aztec-nr-api/v6.0.0/std/convert/index.md)
- [default](/aztec-nr-api/v6.0.0/std/default/index.md)
- [ecdsa_secp256k1](/aztec-nr-api/v6.0.0/std/ecdsa_secp256k1/index.md)
- [ecdsa_secp256r1](/aztec-nr-api/v6.0.0/std/ecdsa_secp256r1/index.md)
- [embedded_curve_ops](/aztec-nr-api/v6.0.0/std/embedded_curve_ops/index.md)
- [field](/aztec-nr-api/v6.0.0/std/field/index.md)
- [hash](/aztec-nr-api/v6.0.0/std/hash/index.md)
- [hint](/aztec-nr-api/v6.0.0/std/hint/index.md)
- [mem](/aztec-nr-api/v6.0.0/std/mem/index.md)
- [meta](/aztec-nr-api/v6.0.0/std/meta/index.md)
- [ops](/aztec-nr-api/v6.0.0/std/ops/index.md)
- [option](/aztec-nr-api/v6.0.0/std/option/index.md)
- [panic](/aztec-nr-api/v6.0.0/std/panic/index.md)
- [prelude](/aztec-nr-api/v6.0.0/std/prelude/index.md)
- [runtime](/aztec-nr-api/v6.0.0/std/runtime/index.md)
- [test](/aztec-nr-api/v6.0.0/std/test/index.md)

## Primitive types

- [array](/aztec-nr-api/v6.0.0/std/primitive.array.md): A fixed-size array, denoted `[T; N]`, for the element type, `T`, and the non-negative compile-time constant size, `N`.
- [bool](/aztec-nr-api/v6.0.0/std/primitive.bool.md): The boolean type.
- [CtString](/aztec-nr-api/v6.0.0/std/primitive.CtString.md): A a compile-time, dynamically-sized string type.
- [Expr](/aztec-nr-api/v6.0.0/std/primitive.Expr.md): A compile-time, quoted, syntactically valid expression.
- [Field](/aztec-nr-api/v6.0.0/std/primitive.Field.md): The native field type of the proving backend.
- [fmtstr](/aztec-nr-api/v6.0.0/std/primitive.fmtstr.md): A formatted string with interpolated values.
- [FunctionDefinition](/aztec-nr-api/v6.0.0/std/primitive.FunctionDefinition.md): A compile-time type which represents a function definition in this source program.
- [i16](/aztec-nr-api/v6.0.0/std/primitive.i16.md): The 16-bit signed integer type.
- [i32](/aztec-nr-api/v6.0.0/std/primitive.i32.md): The 32-bit signed integer type.
- [i64](/aztec-nr-api/v6.0.0/std/primitive.i64.md): The 64-bit signed integer type.
- [i8](/aztec-nr-api/v6.0.0/std/primitive.i8.md): The 8-bit signed integer type.
- [Location](/aztec-nr-api/v6.0.0/std/primitive.Location.md)
- [Module](/aztec-nr-api/v6.0.0/std/primitive.Module.md): A compile-time type which represents a module in this source program.
- [Quoted](/aztec-nr-api/v6.0.0/std/primitive.Quoted.md): A compile-time type which represents quoted token streams and is the result of the `quote { ... }` expression.
- [str](/aztec-nr-api/v6.0.0/std/primitive.str.md): The string type.
- [TraitConstraint](/aztec-nr-api/v6.0.0/std/primitive.TraitConstraint.md): A compile-time type which represents a trait constraint that can be used to search for a trait implementation.
- [TraitDefinition](/aztec-nr-api/v6.0.0/std/primitive.TraitDefinition.md): A compile-time type which represents a trait definition such as `trait Foo { .. }`.
- [TraitImpl](/aztec-nr-api/v6.0.0/std/primitive.TraitImpl.md): A compile-time type which represents represents a trait implementation such as `impl Foo for Bar { ... }`.
- [Type](/aztec-nr-api/v6.0.0/std/primitive.Type.md): A compile-time type which represents a type in the source program.
- [TypeDefinition](/aztec-nr-api/v6.0.0/std/primitive.TypeDefinition.md): A compile-time type which represents a type definition such as `struct Foo { ... }`.
- [TypedExpr](/aztec-nr-api/v6.0.0/std/primitive.TypedExpr.md): A compile-time type which represents a resolved and type-checked expression.
- [u128](/aztec-nr-api/v6.0.0/std/primitive.u128.md): The 128-bit unsigned integer type.
- [u16](/aztec-nr-api/v6.0.0/std/primitive.u16.md): The 16-bit unsigned integer type.
- [u32](/aztec-nr-api/v6.0.0/std/primitive.u32.md): The 32-bit unsigned integer type.
- [u64](/aztec-nr-api/v6.0.0/std/primitive.u64.md): The 64-bit unsigned integer type.
- [u8](/aztec-nr-api/v6.0.0/std/primitive.u8.md): The 8-bit unsigned integer type.
- [UnresolvedType](/aztec-nr-api/v6.0.0/std/primitive.UnresolvedType.md): A compile-time type which represents the syntax of a type.
- [vector](/aztec-nr-api/v6.0.0/std/primitive.vector.md): A dynamically-sized view into a contiguous sequence, `[T]`.

## Functions

- [as_witness](/aztec-nr-api/v6.0.0/std/fn.as_witness.md): Force a field value to be a witness instead of a constant in the compiled output. This is often only useful for debugging compiler optimizations.
- [assert_constant](/aztec-nr-api/v6.0.0/std/fn.assert_constant.md): Asserts that the given value is known at compile-time. Useful for debugging for-loop bounds.
- [print](/aztec-nr-api/v6.0.0/std/fn.print.md): Print the given input to stdout
- [println](/aztec-nr-api/v6.0.0/std/fn.println.md): Print the given input to stdout followed by a newline
- [static_assert](/aztec-nr-api/v6.0.0/std/fn.static_assert.md): Asserts that the given value is both true and known at compile-time. The message can be a string, a format string, or any value, as long as it is known at compile-time
- [verify_proof_with_type](/aztec-nr-api/v6.0.0/std/fn.verify_proof_with_type.md): Asserts the validity of the provided proof and public inputs against the provided verification key and hash.