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

# Struct AssertExpression

Module: `std::meta::expr`

```rust
pub comptime struct AssertExpression
{ /* private fields */ }
```

An assert expression decomposed by [`Expr::as_assert`](/aztec-nr-api/v6.0.0/std/primitive.Expr.md#as_assert) into its predicate and optional message.

## Implementations

```rust
impl AssertExpression
```

```rust
pub comptime fn predicate(self) -> Expr
```

The predicate being asserted.

```rust
pub comptime fn message(self) -> Option<Expr>
```

The optional assertion message.