sp1_recursion_compiler/
lib.rs

1
2
3
4
5
6
7
8
9
10
11
12
13
14
#![allow(clippy::type_complexity)]
#![allow(clippy::needless_range_loop)]

extern crate alloc;

pub mod circuit;
pub mod config;
pub mod constraints;
pub mod ir;

pub mod prelude {
    pub use crate::ir::*;
    pub use sp1_recursion_derive::DslVariable;
}