Function boolector_sys::boolector_free_array_assignment

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