kimchi_msm/circuit_design/
mod.rs

1pub mod capabilities;
2pub mod composition;
3pub mod constraints;
4pub mod witness;
5
6// Reexport main types
7pub use crate::circuit_design::{
8    capabilities::*,
9    composition::{MPrism, SubEnvColumn, SubEnvLookup},
10    constraints::ConstraintBuilderEnv,
11    witness::WitnessBuilderEnv,
12};