openvm_recursion_circuit/batch_constraint/expression_claim/
mod.rs

1mod air;
2mod trace;
3
4pub use air::{ExpressionClaimAir, ExpressionClaimCols};
5pub(in crate::batch_constraint) use trace::{
6    generate_expression_claim_blob, ExpressionClaimBlob, ExpressionClaimCtx,
7    ExpressionClaimTraceGenerator,
8};