pub fn get_value<F: AcirField>(
expr: &Expression<F>,
initial_witness: &WitnessMap<F>,
) -> Result<F, OpcodeResolutionError<F>>Expand description
Returns the concrete value for a particular expression If the value cannot be computed, it returns an ‘OpcodeNotSolvable’ error.