Function boolector_sys::boolector_uf_assignment

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