sp1_recursion_compiler/ir/
mod.rs

1use p3_field::{ExtensionField, PrimeField, PrimeField32, TwoAdicField};
2
3mod arithmetic;
4mod bits;
5mod builder;
6mod collections;
7mod fold;
8mod instructions;
9mod iter;
10mod poseidon;
11mod ptr;
12mod symbolic;
13mod types;
14mod utils;
15mod var;
16
17pub use arithmetic::*;
18pub use builder::*;
19pub use collections::*;
20pub use fold::*;
21pub use instructions::*;
22pub use iter::*;
23pub use ptr::*;
24pub use symbolic::*;
25pub use types::*;
26pub use var::*;
27
28pub trait Config: Clone + Default {
29    type N: PrimeField;
30    type F: PrimeField32 + TwoAdicField;
31    type EF: ExtensionField<Self::F> + TwoAdicField;
32}