openvm_native_recursion/
folder.rs

1use openvm_native_compiler::ir::{Config, Ext, Felt, SymbolicExt};
2use openvm_stark_backend::verifier::GenericVerifierConstraintFolder;
3
4type Var<C> = Ext<<C as Config>::F, <C as Config>::EF>;
5type Expr<C> = SymbolicExt<<C as Config>::F, <C as Config>::EF>;
6
7pub type RecursiveVerifierConstraintFolder<'a, C> = GenericVerifierConstraintFolder<
8    'a,
9    <C as Config>::F,
10    <C as Config>::EF,
11    Felt<<C as Config>::F>,
12    Var<C>,
13    Expr<C>,
14>;