arrabbiata/decider/
column_env.rs

1//! This module will be used by the prover to evaluate at a certain point.