Module kimchi_msm::expr

Functions

• curr_cell
• next_cell

Type Definitions

• E
  An expression over /generic/ (not circuit-specific) columns defined in the msm project. To represent constraints as multi variate polynomials. The variables are over the columns.