in src/integer_arith/mod.rs [35:58]
fn add_mod(a: &T, b: &T, q: &T) -> T;
fn sub_mod(a: &T, b: &T, q: &T) -> T;
fn mul_mod(a: &T, b: &T, q: &T) -> T;
fn inv_mod(a: &T, q: &T) -> T;
fn from_u32(a: u32, q: &T) -> T;
fn pow_mod(a: &T, b: &T, c: &T) -> T;
fn add(a: &T, b: &T) -> T;
fn sub(a: &T, b: &T) -> T;
fn div(a: &T, b: &T) -> T;
fn mul(a: &T, b: &T) -> T;
// conversion
fn from_u32_raw(a: u32) -> T;
fn from_u64_raw(a: u64) -> T;
fn to_u64(a: &T) -> u64;
}
pub trait ArithOperators{