Function z3_sys::Z3_update_param_value [−][src]
pub unsafe extern "C" fn Z3_update_param_value(
c: Z3_context,
param_id: Z3_string,
param_value: Z3_string
)
pub unsafe extern "C" fn Z3_update_param_value(
c: Z3_context,
param_id: Z3_string,
param_value: Z3_string
)