Definition at line 979 of file z3++.h.
[inline]
Definition at line 981 of file z3++.h.
{ return ast(c, a); }