Skip to main content

flint_sys/
gmpcompat.rs

1/* automatically generated by rust-bindgen 0.70.1 */
2
3use crate::deps::*;
4
5
6extern "C" {
7    #[link_name = "flint_mpz_add_uiui__extern"]
8    pub fn flint_mpz_add_uiui(a: mpz_ptr, b: mpz_srcptr, c1: ulong, c0: ulong);
9    #[link_name = "flint_mpz_add_signed_uiui__extern"]
10    pub fn flint_mpz_add_signed_uiui(a: mpz_ptr, b: mpz_srcptr, c1: ulong, c0: ulong);
11    #[link_name = "flint_mpz_add_uiuiui__extern"]
12    pub fn flint_mpz_add_uiuiui(a: mpz_ptr, b: mpz_srcptr, c2: ulong, c1: ulong, c0: ulong);
13    #[link_name = "flint_mpz_add_signed_uiuiui__extern"]
14    pub fn flint_mpz_add_signed_uiuiui(a: mpz_ptr, b: mpz_srcptr, c2: ulong, c1: ulong, c0: ulong);
15}