Function z3_sys::Z3_substitute_vars [−][src]
pub unsafe extern "C" fn Z3_substitute_vars(
c: Z3_context,
a: Z3_ast,
num_exprs: c_uint,
to: *const Z3_ast
) -> Z3_ast
Expand description
Substitute the free variables in a
with the expressions in to
.
For every i
smaller than num_exprs
, the variable with de-Bruijn
index i
is replaced with term to[i]
.