pub unsafe extern "C" fn qadic_add(
x: *mut padic_poly_struct,
y: *const padic_poly_struct,
z: *const padic_poly_struct,
ctx: *const qadic_ctx_struct,
)pub unsafe extern "C" fn qadic_add(
x: *mut padic_poly_struct,
y: *const padic_poly_struct,
z: *const padic_poly_struct,
ctx: *const qadic_ctx_struct,
)