For the complete documentation index, see llms.txt.
aztec-nr - std::meta::expr

Struct AssertExpression

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

An assert expression decomposed by Expr::as_assert into its predicate and optional message.

Implementations

impl AssertExpression

pub comptime fn predicate(self) -> Expr

The predicate being asserted.

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

The optional assertion message.