Function boolector_sys::boolector_free_uf_assignment

pub unsafe extern "C" fn boolector_free_uf_assignment(
    btor: *mut Btor, 
    args: *mut *mut c_char, 
    values: *mut *mut c_char, 
    size: u32
)