ColumnsAir

openvm_circuit_primitives

Trait ColumnsAir 

Source 
pub trait ColumnsAir {
    // Provided method
    fn columns(&self) -> Option<Vec<String>> { ... }
}
Expand description

Allows AIRs to indicate the names of their columns, for debugging purposes. A default implementation is provided that returns None, indicating that column names are not available.

Provided Methods§

Source

fn columns(&self) -> Option<Vec<String>>

If available, returns the names of columns used in this AIR. If the result is Some(names), names.len() == air.width() should always be true.

Implementors§