openvm_circuit_primitives/
columns_air.rs

1/// Allows AIRs to indicate the names of their columns, for debugging purposes.
2/// A default implementation is provided that returns `None`, indicating that
3/// column names are not available.
4pub trait ColumnsAir {
5    /// If available, returns the names of columns used in this AIR.
6    /// If the result is `Some(names)`, `names.len() == air.width()` should always
7    /// be true.
8    fn columns(&self) -> Option<Vec<String>> {
9        None
10    }
11}