# An `assert` statement
class AAssertExpr
	super AExpr

	# The `assert` keyword
	var n_kwassert: TKwassert is writable, noinit

	# The name of the assert, if any
	var n_id: nullable TId = null is writable

	# The expression used as the condition of the `assert`
	var n_expr: AExpr is writable, noinit

	# The `else` keyword
	var n_kwelse: nullable TKwelse = null is writable

	# The body to execute when the assert fails
	var n_else: nullable AExpr = null is writable
end