//! Links to m4ri/misc.h
use libc;
/// M4RI Internal representation
pub type Rci = c_int;
/// M4RI Internal representation
pub type BIT = c_int;
/// M4RI Internal representation
pub type Word = u64;
/// M4RI Internal representation
pub type Wi = c_int;
/// The number of bits in a word
pub static m4ri_radix: c_int = 64;
/// The number one as a word
pub static m4ri_one: Word = 1u64;
/// A word with all bits set
pub static m4ri_ffff: Word = 0xffff_ffff_ffff_ffff;