pub fn evaluate_program<const K: usize, P: RowNllProgram<K> + ?Sized>(
prog: &P,
row: usize,
) -> Result<Tower4<K>, String>Expand description
Evaluate a program’s full tower at the current primaries for one row.
One call yields every RowKernel calculus channel; callers that need
several contractions of the same row should hold the returned tower and
contract repeatedly rather than re-evaluating.