Compile prover functions.

Author: chriseth

executor/src/witgen/jit/compiler.rs

@@ -23,6 +23,7 @@ use crate::witgen::{
 
 use super::{
     effect::{Assertion, BranchCondition, Effect, ProverFunctionCall},
+    prover_function_heuristics::ProverFunction,
     symbolic_expression::{BinaryOperator, BitOperator, SymbolicExpression, UnaryOperator},
     variable::Variable,
 };
@@ -91,6 +92,7 @@ pub fn compile_effects<T: FieldElement>(
     column_layout: ColumnLayout,
     known_inputs: &[Variable],
     effects: &[Effect<T, Variable>],
+    prover_functions: Vec<ProverFunction<T>>,
 ) -> Result<WitgenFunction<T>, String> {
     let utils = util_code::<T>()?;
     let interface = interface_code(column_layout);