pub trait AnyAirWithColumns<SC: StarkProtocolConfig>: AnyAir<SC> + ColumnsAir { }Expand description
AIR trait object combining [AnyAir] (used by stark-backend for proving) with
[ColumnsAir] (OpenVM-internal column-name introspection used by external tooling). The
blanket impl below makes every type satisfying both traits also satisfy this one, so existing
concrete AIRs need no changes.
Trait upcasting (stable since Rust 1.86) coerces Arc<dyn AnyAirWithColumns<SC>> to
Arc<dyn AnyAir<SC>> in argument position, so AirRefWithColumns passes transparently to
stark-backend APIs that expect AirRef.