1#![allow(non_snake_case)]
2#![allow(dead_code)]
3#![allow(non_camel_case_types)]
4#![allow(clippy::upper_case_acronyms)]
5
6mod fcircuit;
7mod fold_babyjubjubs;