air: more util tests and doc

Author: tcoratger

crates/air/src/lib.rs

@@ -11,7 +11,6 @@ use p3_uni_stark::SymbolicAirBuilder;
 mod prove;
 pub use prove::*;
 pub mod table;
-mod uni_skip_utils;
 mod utils;
 mod verify;
 pub use verify::*;

crates/air/src/prove.rs

@@ -16,8 +16,7 @@ use whir_p3::{
 use super::table::AirTable;
 use crate::{
     MyAir,
-    uni_skip_utils::{matrix_down_folded, matrix_up_folded},
-    utils::{column_down, column_up, columns_up_and_down},
+    utils::{column_down, column_up, columns_up_and_down, matrix_down_folded, matrix_up_folded},
     witness::AirWitness,
 };