pub type DecomposableMIPSFoldingEnvironment = DecomposedFoldingEnvironment<N_MIPS_COLS, N_MIPS_REL_COLS, N_MIPS_SEL_COLS, DecomposableMIPSFoldingConfig, ()>;
pub type DecomposableMIPSFoldingEnvironment = DecomposedFoldingEnvironment<N_MIPS_COLS, N_MIPS_REL_COLS, N_MIPS_SEL_COLS, DecomposableMIPSFoldingConfig, ()>;