Function dispatch_branch

crates/aiur/src/trace.rs:174–191

Dispatch a match: look up the value in the cases map, or fall through to the default (pushing inverse witnesses for each case to prove inequality).

(
  val: G,
  cases: &'a FxIndexMap<G, Block>,
  def: &'a Option<Box<Block>>,
  index: &mut ColumnIndex,
  slice: &mut ColumnMutSlice<'_>,
)

      .inputs
      .iter()
      .enumerate()
      .for_each(|(i, arg)| slice.inputs[i] = *arg);
    // Push the multiplicity
    slice.push_auxiliary(index, context.multiplicity);
    let _ = self.body.populate_row(map, index, slice, context, io_buffer);
  }
}

/// `Some(values)` means the block ended with `Yield` (values for the merge).
/// `None` means the block ended with `Return` (function exited).
type PopulateResult = Option<Vec<G>>;

impl Block {
  fn populate_row(
    &self,
    map: &mut Vec<(G, Degree)>,
    index: &mut ColumnIndex,
    slice: &mut ColumnMutSlice<'_, '_>,
    context: TraceContext<'_>,
    io_buffer: &IOBuffer,
  ) -> PopulateResult {