arrabbiata::decider

Module column_env

Source
Expand description

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