Function z3_sys::Z3_fixedpoint_add_callback

pub unsafe extern "C" fn Z3_fixedpoint_add_callback(
    ctx: Z3_context, 
    f: Z3_fixedpoint, 
    state: *mut c_void, 
    new_lemma_eh: Z3_fixedpoint_new_lemma_eh, 
    predecessor_eh: Z3_fixedpoint_predecessor_eh, 
    unfold_eh: Z3_fixedpoint_unfold_eh
)

Set export callback for lemmas.