Function boolector_sys::boolector_set_term

pub unsafe extern "C" fn boolector_set_term(
    btor: *mut Btor, 
    fun: Option<unsafe extern "C" fn(arg1: *mut c_void) -> i32>, 
    state: *mut c_void
)