Function boolector_array_assignment 

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