@c "spec/assert.texi"
@c extracted from "../../src/Object/lang/SPEC_registry.cc"
@c by "$(top_srcdir)/scripts/extract_texinfo.awk".

@deffn Directive assert P
Usage: @samp{assert<P>()}

Error out if predicate expression @var{P} is false.
Note that this is a @emph{compile-time} check, which is enforced
during unroll/create compilation.  
Useful for enforcing parametric constraints.  
Tool-independent.
For run-time invariants, see @t{$(expr)}-syntax below.  
@end deffn

