Skip to main content

flint3_sys/
lib.rs

1#![allow(non_upper_case_globals)]
2#![allow(non_camel_case_types)]
3#![allow(non_snake_case)]
4#![allow(unnecessary_transmutes)]
5
6pub use libc::{
7    c_char, c_double, c_int, c_long, c_longlong, c_schar, c_short, c_uchar, c_uint, c_ulong,
8    c_ulonglong, c_ushort, c_void,
9};
10
11pub use libc::FILE;
12
13pub use libc::pthread_mutex_t;
14
15pub type size_t = libc::size_t;
16pub type ssize_t = libc::ssize_t;
17
18pub type __va_list_tag = u64;
19
20include!(concat!(env!("OUT_DIR"), "/flint.rs"));