1pub mod r1cs_reader;
 2pub use r1cs_reader::{R1CSFile, R1CS};
 3
 4mod circuit;
 5pub use circuit::CircomCircuit;
 6
 7mod builder;
 8pub use builder::{CircomBuilder, CircomConfig};
 9
10mod qap;
11pub use qap::CircomReduction;
12
13pub type Constraints<F> = (ConstraintVec<F>, ConstraintVec<F>, ConstraintVec<F>);
14pub type ConstraintVec<F> = Vec<(usize, F)>;