1mod air; 2mod trace; 3 4pub use air::{GkrInputAir, GkrInputCols}; 5pub use trace::{GkrInputRecord, GkrInputTraceGenerator};