☰
Module column_env
Structs
?
Module
kimchi_msm
::
column_env
source
·
[
−
]
Structs
ColumnEnvironment
The collection of polynomials (all in evaluation form) and constants required to evaluate an expression as a polynomial.