Function boolector_sys::boolector_free_bv_assignment

pub unsafe extern "C" fn boolector_free_bv_assignment(
    btor: *mut Btor, 
    assignment: *const c_char
)