Function z3_sys::Z3_apply_result_to_string
source · pub unsafe extern "C" fn Z3_apply_result_to_string(
c: Z3_context,
r: Z3_apply_result
) -> Z3_string
Expand description
Convert the Z3_apply_result
object returned by Z3_tactic_apply
into a string.