@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.
Tool-independent.
Useful for enforcing parametric constraints.  
@end deffn

